Representable Functors | Bartosz Milewski's Programming Cafe

This is part 14 of Categories for Programmers. Previously: Free Monoids. See the Table of Contents. It’s about time we had a little talk about sets. Mathematicians have a love/hate relationsh…

Representable Functors | Bartosz Milewski's Programming Cafe Home About Bartosz Milewski's Programming Cafe Category Theory, Haskell, Concurrency, C++ July 29, 2015 Representable Functors Posted by Bartosz Milewski under Category Theory , Functional Programming [23] Comments This is part 14 of Categories for Programmers. Previously: Free Monoids . See the Table of Contents . It’s about time we had a little talk about sets. Mathematicians have a love/hate relationship with set theory. It’s the assembly language of mathematics — at least it used to be. Category theory

related reading

• Bartosz Milewski's Programming Cafe | Category Theory, Haskell, Concurrency, C++bartoszmilewski.com
• Natural Transformations | Bartosz Milewski's Programming Cafebartoszmilewski.com
• The Yoneda Lemma | Bartosz Milewski's Programming Cafebartoszmilewski.com
• Adjunctions | Bartosz Milewski's Programming Cafebartoszmilewski.com
• Kleisli Categories | Bartosz Milewski's Programming Cafebartoszmilewski.com
• Thinking Categoricallyderangedmathematician.substack.com
• What is Category Theory Anyway?math3ma.com
• Programming with Categoriesbrendanfong.com
• Category Theory on Math3mamath3ma.com
• Categories, What's the Point? || Math ∩ Programmingjeremykun.com
• 4. Sets and Functions - Mathematics in Lean v4.19.0 documentationleanprover-community.github.io
• Is Category Theory Practical?substack.com