/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
Categories as Types | Math Programming
| | jao.io
programmers go bananas
5.5 parsecs away

Travel
| |
| | emmas.site
Three things for Congress to tell Facebook to do now | Infinite Wishes: A weblog by Emma Humphries
6.2 parsecs away

Travel
| | Three policies the next Congress should order Facebook to allow which will promote a diverse social media environment
| | bartoszmilewski.com
Functors | Bartosz Milewski's Programming Cafe
5.4 parsecs away

Travel
| | This is part of Categories for Programmers. Previously: Simple Algebraic Data Types. See the Table of Contents. At the risk of sounding like a broken record, I will say this about functors: A functor is a very simple but powerful idea. Category theory is just full of those simple but powerful ideas. A functor is...
| | bartoszmilewski.com
The Yoneda Lemma | Bartosz Milewski's Programming Cafe
21.9 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...