Homotopy Type Theory
prespectrum > history (Rev #2, changes)
Showing changes from revision #1 to #2:
Added | Removed | Changed
Definition
< prespectrum type
A prespectrum is a sequence of pointed types? and a sequence of pointed maps . Typically a prespectrum is denoted when it is clear.
See also
References
Revision on June 8, 2022 at 02:37:11 by
Anonymous?.
See the history of this page for a list of all contributions to it.