We introduce a functor $mathfrak{M}:mathbf{Alg}timesmathbf{Alg}^mathrm{op}rightarrowmathrm{pro}text{-}mathbf{Alg}$ constructed from representations of $mathrm{Hom}_mathbf{Alg}(A,Botimes ?)$. As applications, the following items are introduced and studied: (i) Analogue of the functor $pi_0$ for algebras and affine schemes. (ii) Cotype of Weibels concept of strict homotopization. (iii) A homotopy invariant intrinsic singular cohomology theory for affine schemes with cup product. (iv) Some extensions of $mathbf{Alg}$ that are enriched over idempotent semigroups. (v) Classifying homotopy pro-algebras for Corti~{n}as-Thoms KK-groups and Weibels homotopy K-groups.
تحميل البحث