Comment Comment by pera There is a funny typo (spell corrector maybe?): it's "Homotopy" not "Homeopaty" Type Theory parent pera 12 years ago
