All Questions
Tagged with cartesian-closed-categories examples
3
questions
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 ...
- 594
8
votes
2
answers
613
views
Existence of nontrivial categories in which every object is atomic
An object $X$ of a cartesian closed category $\mathbf C$ is atomic if $({-})^X \colon \mathbf C \to \mathbf C$ has a right adjoint (hence is also internally tiny). Intuitively, atomic objects are &...
- 7,889
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 ...
