Post #1763205
2026-04-24 17:58 UTC
I also proposed to merge “Homotopy type theory” and “Univalent foundations”. Opinions are welcome on which name to retain…
https://en.wikipedia.org/wiki/Wikipedia:Articles_for_deletion/Homotopy_type_theory
Replies (1)
-
@soaproot@sfba.social 2026-04-25 00:56
@jeanas Despite the fact that so much of my work is.... well sort of adjacent... to this topic, I don't think of myself as knowledgeable enough (either in general, or on the contents of those Wikipedia articles) to comment myself. But I encourage people to comment.