synthetic topology

euclidean plane geometry

reals

reals model euclidean geometry

inner product spaces

labeled trees

linear algebra

constructive set theory

Numbers and Games

constructive algebra

intuitionistic topology

presheaf models of type theory

cubical type theory

cubical sets

Home Index