Category: Span(Grpd)

Span(Grpd) is the category whose objects are groupoids and arrows are spans of tame functors.

Facts Derived from Enrichment

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

Limits

Colimits

categories: Span(Grpd)

This data as json

name objects_hr arrows_hr
Span(Grpd) groupoids spans of tame functors

Links from other tables