Dinatural transformations

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