Category Theory: in theory and practice

Abstract: Writing an abstract is hard, kind of like composing your thoughts for a concise but yet meaningful stand-up update keeping in relevant information without the low-level details. Maybe that statement is a little bit “meta”, but it’s not just in practice that we look for abstraction, even the mathematics behind what we do is about that.

In this talk, I’ll quickly introduce some basic concepts from Category Theory and then compare some of those theoretical concepts to the ones we know from practice in Cats and Scalaz.