Introduction to category theory with applications in computer science. Functors, natural transformations, adjoints and monads, initial and final al...
Introduction to category theory with applications in computer science. Functors, natural transformations, adjoints and monads, initial and final al...