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 ...

Homotopy theory is a cornerstone of modern algebraic topology, concerned with the study of spaces up to continuous deformations. This approach characterises topological spaces by their intrinsic ...

This article was published in Scientific American’s former blog network and reflects the views of the author, not necessarily those of Scientific American When I tell people I’m a mathematician, I get ...

Boardman, who specialized in algebraic and differential topology, was renowned for his construction of the first rigorously correct model of the homotopy category of spectra, a branch of mathematics ...

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 ...