Item 1 (0185) — 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.

The left whiskering of $\alpha $ with $G$ is the natural transformation ^[1]
\[ \text{id}_{G}\star \alpha \colon G\circ \phi \Longrightarrow G\circ \psi . \]

Footnotes

[1] Further Notation: Also written $G\alpha $ or $G\mathbin {\star }\alpha $, although we won’t use either of these notations in this work.

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

You can also use the contact form below: