Re:Category Theory, Syntactically (2016)
by tel on Thursday April 27, 2017 @10:58AM
(#14211979)
The category-like generalization of the group is the groupoid: all arrows are isomorphisms.
[ Parent
| on HN ]
There are no comments on this comment yet.