Homotopy Type Theory
suspension > history (Rev #1)
Redirected from "continuous image of a compact space is compact".
Definitions
Def 1
The suspension of a type is a type with the following generators
- A point
- A point
- A function
Def 2
The suspension of a type is a the homotopy pushout? of .
These two definitions are equivalent.
Revision on August 5, 2018 at 13:58:09 by
Ali Caglayan.
See the history of this page for a list of all contributions to it.