C
atoids
Catoid
Groupoid
Catoid_Lifting
Groupoid_Lifting
Multimonoid