Natural Transformations | Bartosz Milewski's Programming Cafe
This is part 10 of Categories for Programmers. Previously: Function Types. See the Table of Contents. We talked about functors as mappings between categories that preserve their structure. A functo…
Natural Transformations | Bartosz Milewski's Programming Cafe Home About Bartosz Milewski's Programming Cafe Category Theory, Haskell, Concurrency, C++ April 7, 2015 Natural Transformations Posted by Bartosz Milewski under Category Theory , Functional Programming , Haskell , Programming [69] Comments This is part 10 of Categories for Programmers. Previously: Function Types . See the Table of Contents . We talked about functors as mappings between categories that preserve their structure. A functor “embeds” one category in another. It may collapse multiple things into one,
Explore this link on the map →related reading
- Category Theory on Math3mamath3ma.com
- Bartosz Milewski's Programming Cafe | Category Theory, Haskell, Concurrency, C++bartoszmilewski.com
- Representable Functors | Bartosz Milewski's Programming Cafebartoszmilewski.com
- The Yoneda Lemma | Bartosz Milewski's Programming Cafebartoszmilewski.com
- Adjunctions | Bartosz Milewski's Programming Cafebartoszmilewski.com
- Functor - Wikipediaen.wikipedia.org
- What is Category Theory Anyway?math3ma.com
- Kleisli Categories | Bartosz Milewski's Programming Cafebartoszmilewski.com
- Category theory - Wikipediaen.wikipedia.org
- What is a Monad?lukechampine.com
- Yoneda lemma - Wikipediaen.wikipedia.org
- Introducing Categories || Math ∩ Programmingjeremykun.com