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 provides a framework for classifying spaces up to continuous deformations, and its application to gauge groups has been instrumental in advancing our understanding of the topological ...

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