2-Category: DagCompCat

DagCompCat is the 2-category whose objects are compact closed †-categories, arrows are lax monoidal †-functors, and transformations are natural transformations. Specifically, DagCompCat is a bicategory.

2-categories: DagCompCat

This data as json