Type theory and homotopy theory have evolved into profoundly interconnected disciplines. Type theory, with its foundations in logic and computer science, provides a formal language for constructing ...

I am an algebraic topologist and a stable homotopy theorist. I study chromatic homotopy theory and its interactions with equivariant homotopy theory. I also work with condensed matter physicists to ...

The foundations of equivariant homotopy and cellular theory are examined; an equivariant Whitehead theorem is proved, and the classical results by Milnor about spaces ...

Widely influential algebraic topologist and homotopy theorist Jack Morava, professor in the Department of Mathematics at Johns Hopkins University for nearly four decades, died in Boston on Aug. 1 ...

https://doi.org/10.2307/1970703 • https://www.jstor.org/stable/1970703 Copy URL ...

$\bullet$ Homotopy theory and Higher Algebra. $\bullet$ Algebraic $K$-theory. $\bullet$ Field theories and mathematical Physics. $\bullet$ (topological) Hochschild ...

The subject matter of topology are discrete invariants of topological spaces (for example smooth manifolds) and maps between them. The simplest such invariant is the winding number of a curve in the ...