Post #1441650
2026-04-01 22:11 UTC
@rntz https://en.wikipedia.org/wiki/Suspension_(topology) (but I'm thinking of it in terms of HoTT. It is confusing that sigma is also the standard symbol for this in addition to dependent sum types)
Replies (1)
-
@jcreed@mastodon.social 2026-04-01 22:12
@rntz it's discussed in section 6.5 of the HoTT book