Item 2 (01WB) — The Clowder Project

Preferences





Font:

PDF Style:

Here's a breakdown of the differences between each PDF style:

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`

*To be replaced with Linus Romer's Elemaints when it is released.

Extra Monoidal Unity Constraints. Let $\big (\text{id}^{\otimes }_{\mathcal{C}},\text{id}^{\otimes }_{\mathbb {1}|\mathcal{C}}\big )$ be a morphism of $\mathcal{M}_{\mathbb {E}_{1}}\webleft (\mathcal{C}\webright )$ from $\webleft(\phantom{\mathrlap {\lambda ^{\mathcal{C}}}}\mathcal{C}\right.$, $\otimes _{\mathcal{C}}$, $\mathbb {1}_{\mathcal{C}}$, $\alpha ^{\mathcal{C}}$, $\lambda ^{\mathcal{C}}$, $\left.\rho ^{\mathcal{C}}\webright)$ to $\webleft(\phantom{\mathrlap {\lambda ^{\mathcal{C},\prime }}}\mathcal{C}\right.$, $\boxtimes _{\mathcal{C}}$, $\mathbb {1}'_{\mathcal{C}}$, $\alpha ^{\mathcal{C},\prime }$, $\lambda ^{\mathcal{C},\prime }$, $\left.\rho ^{\mathcal{C},\prime }\webright)$.
1. The diagram
  
  commutes.
2. The diagram
  
  commutes.
3. The diagram
  
  commutes.
4. The diagram
  
  commutes.

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

You can also use the contact form below: