An Invitation to Appied Category Theory
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 Section 2.2 - Symmetric monoidal preorders