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		rakhim.org Summary of Truth about Types, a talk by Bartosz Milewski - Rakhim.org
\|	\|	math.andrej.com Mathematics and Computation \| Proof of negation and proof by contradiction	2.1 parsecs away Travel
\|	\|	[AI summary] A technical discussion distinguishing between proof by contradiction and proof of negation within the context of classical and intuitionistic logic.	2.1 parsecs away Travel
\|	\|	www.jeremykun.com Universal Properties \| Math Programming	2.5 parsecs away Travel
\|	\|	Previously in this series we've seen the definition of a category and a bunch of examples, basic properties of morphisms, and a first look at how to represent categories as types in ML. In this post we'll expand these ideas and introduce the notion of a universal property. We'll see examples from mathematics and write some programs which simultaneously prove certain objects have universal properties and construct the morphisms involved.	2.5 parsecs away Travel
\|	\|	bartoszmilewski.com The Yoneda Lemma \| Bartosz Milewski's Programming Cafe	3.3 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...	3.3 parsecs away Travel
\|	\|	backreaction.blogspot.com Sabine Hossenfelder: Backreaction: Does Loop Quantum Cosmology make the black hole information loss problem worse rather than...	23.5 parsecs away Travel
\|		Science News, Physics, Science, Philosophy, Philosophy of Science	23.5 parsecs away Travel