A¹ homotopy theory is a branch of algebraic topology that is concerned with the study of homotopy theories in the context of algebraic varieties over a field, particularly a field with a non-Archimedean valuation or more generally over a base scheme. It is primarily developed in the framework of stable and unstable homotopy types, where the concepts of homotopy can be adapted to the settings of algebraic geometry.
New to topics? Read the docs here!