/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 www.jeremykun.com
The Universal Properties of Map, Fold, and Filter | Math Programming
| | eli.thegreenplace.net
Right and left folds, primitive recursion patterns in Python and Haskell - Eli Bendersky's website
3.7 parsecs away

Travel
| |
| | jackkelly.name
Monoids in the Category of... | Blog | jackkelly.name
3.4 parsecs away

Travel
| |
| | hookrace.net
A Taste of Haskell ยท HookRace Blog
2.8 parsecs away

Travel
| |
| | bartoszmilewski.com
The Yoneda Lemma | Bartosz Milewski's Programming Cafe
35.1 parsecs away

Travel
| This is part 15 of Categories for Programmers. Previously: Representable Functors. See the Table of Contents. Most constructions in category theory are generalizations of results from other more specific areas of mathematics. Things like products, coproducts, monoids, exponentials, etc., have been known long before category theory. They might have been known under different names in...