Homotopical-algebra
Homotopical mathematical geometry is a homotopical speculation of logarithmic geometry, where the relative plans are not really commutative algebras in the typical sense, yet rather commutative variable based math questions in a self-assertive symmetric monoidal (infinity,1)- classification.In arithmetic, homotopical variable based math is an assortment of ideas including the nonabelian parts of homological polynomial math just as perhaps the abelian perspectives as uncommon cases. The homotopical terminology comes from the way that a typical way to deal with such speculations is by means of unique homotopy hypothesis, as in nonabelian logarithmic geography, and specifically the hypothesis of shut
model categories.