Skip to main content
4 events
when toggle format what by license comment
Oct 8, 2023 at 6:50 vote accept M.Ramana
Oct 7, 2023 at 21:08 answer added Peter LeFanu Lumsdaine timeline score: 3
Oct 7, 2023 at 20:34 comment added Peter LeFanu Lumsdaine Can you give some context for this question? I’m not familiar with this particular model of “spaces”/“homotopies”; is it previously studied in existing literature, and if so, what name is it known under?
Oct 7, 2023 at 15:21 history asked M.Ramana CC BY-SA 4.0