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 ...
PNAS is the world's most-cited multidisciplinary scientific serial. It publishes high-impact research reports, commentaries, perspectives, reviews, colloquium papers, and actions of the Academy. In ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results