News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.