Category: TracedSymmMonCat

TracedSymmMonCat is the category whose objects are traced symmetric monoidal categories and arrows are lax monoidal functors.

Facts Derived from Enrichment

Notable Subcategories

Limits

Colimits

categories: TracedSymmMonCat

This data as json

name objects_hr arrows_hr
TracedSymmMonCat traced symmetric monoidal categories lax monoidal functors

Links from other tables