Outer Web | Explore

/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		blog.plover.com The Universe of Discourse : The nonassociativity of the cartesian product
\|	\|	www.brunogavranovic.com Lenses to the left of me, Prisms to the right	24.6 parsecs Travel
\|	\|
\|	\|	blog.hde.design Universal Properties	18.4 parsecs Travel
\|	\|
\|	\|	rakhim.org Summary of Truth about Types, a talk by Bartosz Milewski - Rakhim.org [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.	11.2 parsecs Travel
\|	\|
\|	\|	wildtopology.com Wild Topology \| Page 2	23.7 parsecs Travel
\|