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
Explore this link on the map →related reading
- The Yoneda Lemma | Bartosz Milewski's Programming Cafebartoszmilewski.com
- Bartosz Milewski's Programming Cafe | Category Theory, Haskell, Concurrency, C++bartoszmilewski.com
- Category Theory on Math3mamath3ma.com
- Natural Transformations | Bartosz Milewski's Programming Cafebartoszmilewski.com
- Functor - Wikipediaen.wikipedia.org
- Adjunctions | Bartosz Milewski's Programming Cafebartoszmilewski.com
- 4. Sets and Functions - Mathematics in Lean v4.19.0 documentationleanprover-community.github.io
- Yoneda lemma - Wikipediaen.wikipedia.org
- What is Category Theory Anyway?math3ma.com
- What is a Monad?lukechampine.com
- adventures in uncertainty: An Introduction to Recursion Schemesblog.sumtypeofway.com
- Category theory - Wikipediaen.wikipedia.org