An introduction to Category Theory for Software Engineers
Dr. Steve Easterbrook of University of Toronto introduces category theory and covers these topics:
- What is Category Theory?
- Why should we be interested in Category Theory?
- How much Category Theory is it useful to know?
- What kinds of things can you do with Category Theory in Software Engineering?
- Does Category Theory help us to automate things? (for the ASE audience)
One of the more approachable introductions/overviews of category theory that I have seen.