Hacker News Reader

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

View on HN

I 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.

Yes. This (Spivaks ideas on using categories to define and reason about database stuff) was also my first association.

Reply on news.ycombinator.com