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