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,

related reading

• Bartosz Milewski's Programming Cafe | Category Theory, Haskell, Concurrency, C++bartoszmilewski.com
• Representable Functors | Bartosz Milewski's Programming Cafebartoszmilewski.com
• Adjunctions | Bartosz Milewski's Programming Cafebartoszmilewski.com
• The Yoneda Lemma | 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
• Is Category Theory Practical?substack.com
• Category Theory on Math3mamath3ma.com
• adventures in uncertainty: An Introduction to Recursion Schemesblog.sumtypeofway.com
• Categories, What's the Point? || Math ∩ Programmingjeremykun.com