## Finite nonisomorphic binars

(also called ** groupoids** in universal algebra, but in category theory a groupoid is a category where all morphisms are isomorphisms)

Trace: » finite_binars

** groupoids** in universal algebra, but in category theory a groupoid is a category where all morphisms are isomorphisms)

Trace: » finite_binars