This is a collection of my notes for Brendan Fong and David Spivak’s An Invitation to Appied Category Theory. The first chapter was done through LaTeX, but the rest should be markdown with mathjax.
- Chapter 1 - Generative effects: Orders and adjunctions
- Chapter 2 - Resource theories: Monoidal preorders and enrichment