Towards an -category of cobordisms.
Traced premonoidal categories
Motivated by some examples from functional programming, we propose a generalization of the notion of trace to symmetric premonoidal categories and of Conway operators to Freyd categories. We show that in a Freyd category, these notions are equivalent, generalizing a well-known theorem relating traces and Conway operators in cartesian categories.
Traced Premonoidal Categories
Motivated by some examples from functional programming, we propose a generalization of the notion of trace to symmetric premonoidal categories and of Conway operators to Freyd categories. We show that in a Freyd category, these notions are equivalent, generalizing a well-known theorem relating traces and Conway operators in Cartesian categories.
Traces dans les catégories monoïdales, dualité et catégories monoïdales fibrées
Trivialisations dans les catégories tannakiennes
Turning monoidal categories into strict ones.
Two constructions on Lax functors