Outer Web | Explore

Explore >> Select a destination

You are here		homotopytypetheory.org A type theoretical Yoneda lemma \| Homotopy Type Theory
\|	\|	xorshammer.com Generating Functions as Cardinality of Set Maps - XOR's Hammer	5.0 parsecs away Travel
\|	\|	There is a class of all cardinalities $latex \mathbf{Card}$, and it has elements $latex 0$, $latex 1$ and operations $latex +$, $latex \cdot$, and so forth defined on it. Furthermore, there is a map $latex \mathrm{card}\colon\mathbf{Set}\to\mathbf{Card}$ which takes sets to cardinalities such that $latex \mathrm{card}(A\times B)=\mathrm{card}(A)\cdot\mathrm{card}(B)$ (and so on). Ordinary generating functions can be thought...	5.0 parsecs away Travel
\|	\|	thehousecarpenter.wordpress.com A simple motivation for the notion of a natural transformation \| The House Carpenter	4.3 parsecs away Travel
\|	\|	A natural transformation is an operation on a category, or more precisely a family of operations, one for each object in the category, which is preserved by morphisms in the category. Each operation in the family is associated with a specific object $latex A$ in the category, which it is said to be on. The...	4.3 parsecs away Travel
\|	\|	unstableontology.com Understanding Gödel's completeness theorem - Unstable Ontology	5.3 parsecs away Travel
\|	\|	(note: some readers may find the LaTeX more readable on LessWrong.) In this post I prove a variant of Gödel's completeness theorem. My intention has been to really understand the theorem, so that I am not simply shuffling symbols around, but am actually understanding why it is true. I hope it is helpful for at...	5.3 parsecs away Travel
\|	\|	paragonie.com Ristretto255 for the PHP Community - Paragon Initiative Enterprises Blog	33.2 parsecs away Travel
\|		Introducing Ristretto255 for PHP developers	33.2 parsecs away Travel