Algebraic and topological aspects of the schematization functor

We study some basic properties of schematic homotopy types and the schematization functor. We describe two different algebraic models for schematic homotopy types, namely cosimplicial Hopf alegbras and equivariant cosimplicial algebras, and provide explicit constructions of the schematization functor for each of these models. We also investigate some standard properties of the schematization functor that are helpful for describing the schematization of smooth projective complex varieties. In a companion paper, these results are used in the construction of a non-abelian Hodge structure on the schematic homotopy type of a smooth projective variety.