All Questions

Filter by
Sorted by
Tagged with
8 votes
1 answer
243 views

Cartesian monoidal star-autonomous categories

Disclaimer: This is a crosspost (see MathStackexchange). Apologies if cross-posting is frowned upon. However, it seems that on Stackexchange there are not many people familiar with star-autonomous ...
Max Demirdilek's user avatar
4 votes
1 answer
440 views

Example of a non-closed cocomplete symmetric monoidal category

Background By a cocomplete symmetric monoidal category $C$ I mean a symmetric monoidal category whose underlying category is cocomplete and such that $- \otimes X : C \to C$ is cocontinuous for all $X ...
Martin Brandenburg's user avatar