Category theory for programmers

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;...

228p tieulangtran 28-09-2023 7 2   Download

Part 1 of ebook "Category theory for programmers" provides readers with contents including: category the essence of composition; categories great and small; simple algebraic data types; natural transformations; declarative programming; free monoids; representable functors; the yoneda lemma; yoneda embedding;...

270p tieulangtran 28-09-2023 4 1   Download