Applied Category Theory. Chapter 1, lecture 1 (Spivak) Topos Institute 2024-10-15 | Applied Category Theory. Chapter 1, lecture 1 (Spivak)