category-theory-for-programmers-in-scala
search
Ctrlk
  • README
  • Category Theory for Programmerschevron-right
    • preface
    • part_onechevron-right
    • part_twochevron-right
    • part_threechevron-right
      • It's All About Morphisms
      • Adjunctions
      • Free/Forgetful Adjunctions
      • Monads: Programmer's Definition
      • Monads & Effects
      • Monads Catagorically
      • Comonads
      • F-Algebras
      • Algebra for Monads
      • Ends & Coends
      • Kan Extensions
      • Enriched Categories
      • Topoi
      • Lawvere Theories
      • Monads, Monoids, & Categories
    • definitions
    • resources
  • changelog
gitbookPowered by GitBook
block-quoteOn this pagechevron-down
  1. Category Theory for Programmers

part_three

It's All About Morphismschevron-rightAdjunctionschevron-rightFree/Forgetful Adjunctionschevron-rightMonads: Programmer's Definitionchevron-rightMonads & Effectschevron-rightMonads Catagoricallychevron-rightComonadschevron-rightF-Algebraschevron-rightAlgebra for Monadschevron-rightEnds & Coendschevron-rightKan Extensionschevron-rightEnriched Categorieschevron-rightTopoichevron-rightLawvere Theorieschevron-rightMonads, Monoids, & Categorieschevron-right
PreviousYoneda Embeddingchevron-leftNextIt's All About Morphismschevron-right

Last updated 7 years ago