Category: DagCat

DagCat is the category whose objects are †-categories (dagger categories) and arrows are †-functors (dagger functors).

Facts Derived from Enrichment

Notable Subcategories

Limits

Colimits

categories: DagCat

This data as json

name objects_hr arrows_hr
DagCat †-categories (dagger categories) †-functors (dagger functors)

Links from other tables