/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
| | bartoszmilewski.com
2.4 parsecs away

Travel
| | Previously: Topology as a Dietary Choice. Category theory lets us change the focus from individual objects to relationships between them. Since topology is defined using open sets, we'd start by concentrating on relations between sets. One such obvious relation is inclusion. It imposes a categorical structure on the subsets of a given set $latex X$....
| | jao.io
2.6 parsecs away

Travel
| |
| | blog.hde.design
3.0 parsecs away

Travel
| |
| | www.chriswarbo.net
8.8 parsecs away

Travel
| [AI summary] A discussion thread clarifying misconceptions about state, the IO monad, and functional purity in Haskell by explaining how the language represents imperative programs as pure data structures.