2-Category: Grpd

Grpd is the 2-category whose objects are groupoids, arrows are functors, and transformations are natural isomorphisms. Specifically, Grpd is a bicategory.

2-categories: Grpd

This data as json