Explore >> Select a destination
|
You are here 
|
homotopytypetheory.org | ||
| | | | |
xorshammer.com
|
|
| | | | | 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... | |
| | | | |
bartoszmilewski.com
|
|
| | | | | Previously: Covering Sieves. We've seen an intuitive description of presheaves as virtual objects. We can use the same trick to visualize natural transformations. A natural transformation can be drawn as a virtual arrow $latex \alpha$ between two virtual objects corresponding to two presheaves $latex S$ and $latex P$. Indeed, for every $latex s_a \in S... | |
| | | | |
unstableontology.com
|
|
| | | | | (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... | |
| | | | |
www.ethanepperly.com
|
|
| | | |||
