2-Category: TracedSymmMonCat

TracedSymmMonCat is the 2-category whose objects are traced symmetric monoidal categories, arrows are lax monoidal functors, and transformations are natural transformations. Specifically, TracedSymmMonCat is a bicategory.

2-categories: TracedSymmMonCat

This data as json

name is_strict transformations_hr
TracedSymmMonCat 0 natural transformations