MGS2025 - Category Theory

Presheaf

Mon is not Cartesian Closed

Have $\mathrm{Mon}$ is not cartesian closed:

$$\begin{array}{r}A\cong 1\times A\cong 0\times A\cong 0.\end{array}$$

Yoneda Lemma

Algebra (Category Theory)