‎‎‎in this paper‎, ‎the‎ notion of injectivity with respect to order dense embeddings in ‎‎the category of $s$-posets‎, ‎posets with a monotone action of a‎ pomonoid $s$ on them‎, ‎is studied‎. ‎we give a criterion‎, ‎like the baer condition for injectivity of modules‎, ‎or skornjakov criterion for injectivity of $s$-sets‎, ‎for the order dense injectivity‎. ‎also‎, ‎we consider such injectivit...

In this paper we develop the theory of quasispaces (for a Grothendieck topology) and of concrete quasitopoi, over a suitable base category. We introduce the notion of f-regular category and of f-regular functor. The f-regular categories are regular categories in which every family with a common codomain can be factorized into a strict epimorphic family followed by a (single) monomorphism. The f...

Let F be a free group of finite rank. We say that the monomorphism problem in F is decidable if there is an algorithm such that, for any two elements u and v in F , it determines whether there exists a monomorphism of F that sends u to v. In this paper we show that the monomorphism problem is decidable and we provide an effective algorithm that solves the problem. Mathematics Subject Classifica...

initiality Lutz Schröder, Horst Herrlich Abstract. We study morphisms that are initial w.r.t. all functors in a given conglomerate. Several results and counterexamples are obtained concerning the relation of such properties to different notions of subobject. E.g., strong monomorphisms are initial w.r.t. all faithful adjoint functors, but not necessarily w.r.t. all faithful monomorphism-preservi...

We consider a symmetric monoidal closed category V = (V ,⊗, I, [−,−]) together with a regular injective object Q such that the functor [−, Q] : V → V op is comonadic and prove that in such a category, as in the monoidal category of abelian groups, a morphism of commutative monoids is an effective descent morphism for modules if and only if it is a pure monomorphism. Examples of this kind of mon...