Colimits for the pro-category of towers of simplicial sets
The aim of this paper is to present a starting point for proving existence of injective minimal models (cf. [8]) for some systems of complete differential graded algebras.
We raise the question of when a simplicial object in a catetgory is deemed contractible. The literature offers three definitions. One is the existence of an “extra degeneracy”, indexed by , which does not quite live up to the name. This can be strengthened to a “strong extra degeneracy". Another possibility is that it be homotopic to a constant simplicial object. Despite claims in the literature to the contrary, we show that all three are distinct concepts with strong extra degeneracy implies extra...
In this paper, we show the existence of copure injective preenvelopes over noetherian rings and copure flat preenvelopes over commutative artinian rings. We use this to characterize -Gorenstein rings. As a consequence, if the full subcategory of strongly copure injective (respectively flat) modules over a left and right noetherian ring has cokernels (respectively kernels), then is -Gorenstein.
Let and be abelian categories with enough projective and injective objects, and a left exact additive functor. Then one has a comma category . It is shown that if is -exact, then is a (hereditary) cotorsion pair in and ) is a (hereditary) cotorsion pair in if and only if is a (hereditary) cotorsion pair in and and are closed under extensions. Furthermore, we characterize when special preenveloping classes in abelian categories and can induce special preenveloping classes...