3 ms·
I’m currently taking a category theory course based on Fong & Spivak’s textbook An Invitation to Applied Category Theory [1] and this reminds me of chapter 3 wh
by jkhdigital 5y ago
I’m currently taking a category theory course based on Fong & Spivak’s textbook An Invitation to Applied Category Theory [1] and this reminds me of chapter 3 which introduces functors and natural transformations by way of using them to describe schemas, database instances and migrations.
[1] https://arxiv.org/abs/1803.05316 https://arxiv.org/abs/1803.05316
- Garlef 5y agoYes. This (Spivaks ideas on using categories to define and reason about database stuff) was also my first association.
- ebingdom 5y agoI absolutely love that book. Category theory has changed the way I think about so many things. Maybe the most prominent way category theory has influenced my thinking is that I always ask "what is the dual situation?" now, often leading to productive insights.