2-Category: Span(Grpd)
Span(Grpd) is the 2-category whose objects are groupoids, arrows are spans of tame functors, and transformations are pullbacks of spans. Specifically, Span(Grpd) is a bicategory.
2-categories: Span(Grpd)
This data as json
| name | is_strict | transformations_hr |
|---|---|---|
| Span(Grpd) | 0 | pullbacks of spans |