Categorical Databases by David I. Spivak.
From Slide 2 of 58:
There is a fundamental connection between databases and categories.
- Category theory can simplify how we think about and use databases.
- We can clearly see all the working parts and how they fit together.
- Powerful theorems can be brought to bear on classical DB problems.
The slides are “text heavy” but I think you will find that helpful rather than a hindrance in this case. 😉
From David Spivak’s homepage:
Purpose: I study information and communication, working towards a mathematical foundation for interoperability.
If you are looking for more motivation to get into category theory, this could be the place to start.
I first saw this in a tweet by Jim Duey.