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.sigfpe.com A Neighborhood of Infinity: Some thoughts on reasoning and monads
\|	\|	www.jeremykun.com Universal Properties \| Math Programming	6.2 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.	6.2 parsecs away Travel
\|	\|	cronokirby.com Categorical Graphs - Cronokirby	6.8 parsecs away Travel
\|	\|	- Read more: https://cronokirby.com/posts/2020/10/categorical-graphs/	6.8 parsecs away Travel
\|	\|	rakhim.org Summary of Truth about Types, a talk by Bartosz Milewski - Rakhim.org	4.8 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.	4.8 parsecs away Travel
\|	\|	leanprover-community.github.io Maths in Lean: linear algebra	36.9 parsecs away Travel
\|		[AI summary] A technical documentation entry for the Lean mathematical library detailing definitions and operations for semimodules, modules, matrices, linear maps, and bilinear forms	36.9 parsecs away Travel