All Questions
Tagged with locally-presentable-categories monoidal-categories
4 questions
5
votes
0
answers
315
views
Why is $\rm{Cat}$ a Cartesian-closed category?
I am interested in naturally occurring symmetric closed monoidal structures on locally presentable categories.
Two general examples:
Grothendieck topos with Cartesian structure. Here, for example, $\...
5
votes
0
answers
105
views
Left adjoints for functors out of a Deligne-Kelly tensor product
Let $k$ be a field, and let $\mathcal{C}$ be a locally finitely presentable $k$-linear categories. The Deligne-Kelly tensor product $\mathcal{C}\boxtimes\mathcal{C}$ is the 2-universal locally ...
3
votes
1
answer
465
views
locally finitely presentable tensor categories
I am looking for examples of locally finitely presentable categories which admit a symmetric monoidal structure, such that the tensor product preserves colimits in each variable, but the unit is not ...
5
votes
1
answer
459
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 ...