/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
Universal Properties | Math Programming
| | rakhim.org
Summary of Truth about Types, a talk by Bartosz Milewski - Rakhim.org
2.9 parsecs away

Travel
| | [AI summary] A summary of Bartosz Milewski's talk exploring the equivalence between type theory, logic, category theory, and computer science through concepts like composition, Curry-Howard isomorphism, and continuations.
| | grossack.site
Life in Johnstone's Topological Topos 1 -- Fundamentals | Chris Grossack's Blog
3.4 parsecs away

Travel
| | Chris Grossack's math blog and professional website.
| | jeremykun.wordpress.com
Constructing Topological Spaces - A Primer - Math Programming
2.6 parsecs away

Travel
| | Last time we investigated the (very unintuitive) concept of a topological space as a set of "points" endowed with a description of which subsets are open. Now in order to actually arrive at a discussion of interesting and useful topological spaces, we need to be able to take simple topological spaces and build them up...
| | bartoszmilewski.com
Limits and Colimits | Bartosz Milewski's Programming Cafe
9.0 parsecs away

Travel
| This is part 12 of Categories for Programmers. Previously: Declarative Programming. See the Table of Contents. It seems like in category theory everything is related to everything and everything can be viewed from many angles. Take for instance the universal construction of the product. Now that we know more about functors and natural transformations, can...