‎for the subclasses ${mathcal m}_1$ and ${mathcal m}_2$ of‎‎monomorphisms in a concrete category $mathcal c$‎, ‎if ${mathcal‎‎m}_2subseteq {mathcal m}_1$‎, ‎then ${mathcal m}_1$-injectivity‎‎implies ${mathcal m}_2$-injectivity‎. ‎the baer type criterion is about‎ ‎the converse of this fact‎. ‎in this paper‎, ‎we apply injectivity to the classes of {it $c$-dense‎, ‎$c$-closed}‎ ‎monomorphisms‎. ...

let r be a right gf-closed ring with finite left and right gorenstein global dimension. we prove that if i is an ideal of r such that r/i is a semi-simple ring, then the gorensntein flat dimensnion of r/i as a right r-module and the gorensntein injective dimensnnion of r/i as a left r-module are identical. in particular, we show that for a simple module s over a commutative gorensntein ring r, ...

Classes of objects injective w.r.t. specified morphisms are known to be closed under products and retracts. We prove the converse: a class of objects in a locally presentable category is an injectivity class iff it is closed under products and retracts. This result requires a certain large-cardinal principle. We characterize classes of objects injective w.r.t. a small collection of morphisms: t...

Sierpinski space Ω is injective in the category Top of topological spaces, but not in any of the larger cartesian closed categories Conv of convergence spaces and Equ of equilogical spaces. We show that this negative result extends to all sub-cccs of Equ and Conv that are closed under subspaces and contain Top. On the other hand, we study the category PrTop of pretopological spaces that lies in...

Let R be a right GF-closed ring with finite left and right Gorenstein global dimension. We prove that if I is an ideal of R such that R/I is a semi-simple ring, then the Gorensntein flat dimensnion of R/I as a right R-module and the Gorensntein injective dimensnnion of R/I as a left R-module are identical. In particular, we show that for a simple module S over a commutative Gorensntein ring R, ...

‎For the subclasses $mathcal{M}_1$ and $mathcal{M}_2$ of‎ ‎monomorphisms in a concrete category $mathcal{C}$‎, ‎if $mathcal‎{M}_2subseteq mathcal{M}_1$‎, ‎then $mathcal{M}_1$-injectivity‎ ‎implies $mathcal{M}_2$-injectivity‎. ‎The Baer type criterion is about‎ ‎the converse of this fact‎. ‎In this paper‎, ‎we apply injectivity to the classes of $C$-dense‎, ‎$C$-closed‎ ‎monomorphisms‎. ‎The con...

1.1. Injective resolutions. Let C be an abelian category. An object I ∈ C is injective if the functor Hom(−, I) is exact. An injective resolution of an object A ∈ C is an exact sequence 0→ A→ I → I → . . . where I• are injective. We say C has enough injectives if every object has an injective resolution. It is easy to see that this is equivalent to saying every object can be embedded in an inje...

1. We announce here the following result: Two homotopic diffeomorphisms of a paracompact separable Hubert manifold of infinite dimension are isotopic. (1) In this paper, a hilbert manifold (A-manifold) with or without boundary is always hausdorff, paracompact, separable C°°-differentiable and with the infinite dimensional separable hilbert space H as local model. Let M(M, dM) be an /^-manifold ...

Preenvelopes of acts over a monoid are defined by analogy with Enochs’ definition preenvelopes modules. Provided that it is closed for pure subacts, class shown to be preenveloping precisely when under direct products. Examples such classes include absolutely pure, weakly f-injective and p-injective acts.