Showing changes from revision #7 to #8:
Added | Removed | Changed
homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
The notion of -field is to the notion of A-∞ algebra as that of field is to associative algebra/ring.
An A-∞ ring or in fact just an H-space is a field if is a graded field.
For instance (Lurie, lecture 24, def. 3).
For an -field, def. 1, then it carries the structure of an ∞-module over the th Morava K-theory spectrum , for some .
This follows with the nilpotence theorem.
The Morava K-theory A-∞ rings are the basic -fields. See at Morava K-theory – As infinity-Fields, where and we define as .
Definition 3 in
Last revised on August 20, 2014 at 23:57:09. See the history of this page for a list of all contributions to it.