# Tag Info

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
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
### 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 ...