Tag Archives: Grassmanian

What is homotopy type theory? An amateur speaks.

Learning some Euclidean geometry helped me to understand the basics of what homotopy type theory is. Continue reading

Posted in undergrad maths | Tagged , , , , , , | 12 Comments