2-Category: DagCat

DagCat is the 2-category whose objects are †-categories (dagger categories), arrows are †-functors (dagger functors), and transformations are natural transformations. Specifically, DagCat is a bicategory.

2-categories: DagCat

This data as json

name is_strict transformations_hr
DagCat 0 natural transformations