2-Category: CompCat

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

2-categories: CompCat

This data as json