New answers tagged monoidal-categories
3
votes
Accepted
Cartesian monoidal star-autonomous categories
[I'm going to assume $S' \cong S$, which holds in every symmetric monoidal $*$-autonomous category. (See e.g. Lemma 5.6 of this paper.) This applies here since cartesianness implies symmetry. Part of ...
- 4,184
4
votes
Accepted
Star-autonomous categories are categorifications of Boolean algebras?
The starting point for decategorification is the observation that a category in which any parallel arrows are equal must necessarily be a preorder.
Restricting to skeletal categories makes it a poset.
...
- 30.3k
3
votes
Accepted
Strictification of $\mathcal{V}$-pseudofunctors
In section 4 of my paper Not every pseudoalgebra is equivalent to a strict one, I sketched a proof that for any monoidal 2-category $\mathcal{W}$ with small sums preserved on both sides by its tensor ...
- 59.5k
Top 50 recent answers are included