This is an old revision of the document!
Finite nonisomorphic binars
(also called groupoids in universal algebra, but in category theory a groupoid is a category where all morphisms are iso)
Trace: » finite_binars
This is an old revision of the document!
(also called groupoids in universal algebra, but in category theory a groupoid is a category where all morphisms are iso)
Trace: » finite_binars