Showing changes from revision #0 to #1:
Added | Removed | Changed
The suspension of a type is a type with the following generators
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.