Category: Grpd

Grpd is the category whose objects are groupoids and arrows are functors.

Facts Derived from Enrichment

(Grpd doesn't seem to have any notable subcategories.)

Limits

Colimits

categories: Grpd

This data as json

name objects_hr arrows_hr
Grpd groupoids functors

Links from other tables