Ebook Category theory for programmers: Part 2

Continued part 1, part 2 of ebook "Category theory for programmers" provides readers with contents including: free/forgetful adjunctions; monads programmer's definition; monads categorically; algebras for monads; enriched categories; lawvere theories; hom-set isomorphisms; natural transformations; the product comonad; dinatural transformations; natural transformations as ends;...