Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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, $\...
Arshak Aivazian's user avatar
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 ...
Thibault Décoppet's user avatar
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 ...
Martin Brandenburg's user avatar
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 ...
Martin Brandenburg's user avatar