Item 14 (0017) — The Clowder Project

Style	Class	Font	Theorem Environments
Style 1	`book`	Alegreya Sans	`tcbthm`
Style 2	`book`	Alegreya Sans	`amsthm`
Style 3	`book`	Arno*	`amsthm`
Style 4	`book`	Computer Modern	`amsthm`

1. Symmetric Bimonoidality. The 18-tuple
$\begin{aligned} (Sets, ∐, \times, Ø, pt, Sets (-_{1}, -_{2}), α^{Sets}, λ^{Sets}, ρ^{Sets}, σ^{Sets}, \\ α^{Sets, ∐}, λ^{Sets, ∐}, ρ^{Sets, ∐}, σ^{Sets, ∐}, δ_{ℓ}^{Sets}, δ_{r}^{Sets}, ζ_{ℓ}^{Sets}, ζ_{r}^{Sets}), \end{aligned}$

is a symmetric closed bimonoidal category, where $α^{Sets, ∐}$ , $λ^{Sets, ∐}$ , $ρ^{Sets, ∐}$ , and $σ^{Sets, ∐}$ are the natural transformations from Item 2, Item 3, and Item 4 of Proposition 2.2.3.1.3.

Noticed something off, or have any comments? Feel free to reach out!

You can also use the contact form below: