this repo has no description
jonmsterling.com
TeX
100.0%
code
Clone this repository
https://tangled.org/jonmsterling.com/the-synthetic-sierpinski-cone
git@knot.cl.cam.ac.uk:jonmsterling.com/the-synthetic-sierpinski-cone
For self-hosted knots, clone URLs may differ based on your setup.
When we say "let X be a type", we are not moving to the classifying topos
"S[X]" (unless we wish to claim that "Let X be a type; then X^X = 1+X holds" is
valid).