Higher fundamental functors for simplicial sets
We generalize the results by G.V. Triantafillou and B. Fine on -disconnected simplicial sets. An existence of an injective minimal model for a complete -algebra is presented, for any -category . We then make use of the -category associated with a -simplicial set to apply these results to the category of -simplicial sets.Finally, we describe the rational homotopy type of a nilpotent -simplicial set by means of its injective minimal model.
In many situations, minimal models are used as representatives of homotopy types. In this paper we state this fact as an equivalence of categories. This equivalence follows from an axiomatic definition of minimal objects. We see that this definition includes examples such as minimal resolutions of Eilenberg-Nakayama-Tate, minimal fiber spaces of Kan and Λ-minimal Λ-extensions of Halperin. For the first one, this is done by generalizing the construction of minimal resolutions of modules to complexes....
Conditions which imply Morita equivalences of functor categories are described. As an application a Dold-Kan type theorem for functors defined on a category associated to associative algebras with one-side units is proved.