Category Theory For Programmers

• Adjuctions
• Algebras For Monads
• Categories Great And Small
• Category The Essence Of Composition
• Comonads
• Declarative Programming
• Ends And Coends
• Enriched Categories
• F Algebras
• Free Monoids
• Freeforgetful Adjunctions
• Function Types
• Functoriality
• Functors
• Its All About Morphisms
• Kan Extensions
• Kleisli Categories
• Lawvere Theories
• Limits And Colimits
• Monads And Effects
• Monads Categorically
• Monads Monoids And Categories
• Monads Programmers Definition
• Natural Transformations
• Products And Coproducts
• Representable Functors
• Simple Algebraic Data Types
• The Yoneda Lemma
• Topoi
• Types And Functions
• Yoneda Embedding
• _Category Theory For Programmers