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 in algebra is a dynamic field that adapts concepts originally developed in topology to the study of algebraic structures. In particular, the framework of chain complexes and derived ...

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