Groupoid
查看历史

A groupoid is a category where every morphism is an isomorphism.

Related

There is currently no relevant content for this entry