3 ms·

https://homotopytypetheory.org/book/ https://homotopytypetheory.org/book/

• lmm 9y ago
  That is a) a great project b) not category theory.