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

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

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

Elements λn, n ≥ 0, which generate the homotopy groups of spheres in the category of simplicial Lie algebras are shown to have Hopf invariant one. This fact is shown to have strong implications for ...

Proceedings of the National Academy of Sciences of the United States of America, Vol. 37, No. 5 (May 15, 1951), pp. 307-310 (4 pages) ...

The aim of the conference is to foster interactions between researchers working in areas such as classification of C*-algebras and Steinberg algebras, topological and algebraic K-theory, the ...