A¹ homotopy theory (source code)

= A¹ homotopy theory
{wiki=A¹_homotopy_theory}

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.