In a locally λ-presentable category, with λ a regular cardinal, classes of objects that are injective with respect to a family of morphisms whose domains and codomains are λ-presentable, are known to be characterized by their closure under products, λ-directed colimits and λ-pure subobjects. Replacing the strict commutativity of diagrams by “commutativity up to ε”, this paper provides an “appro...

‎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‎. ...

‎In this paper some properties of weak regular injectivity for $S$-posets‎, ‎where $S$ is a pomonoid‎, ‎are studied‎. ‎The behaviour‎ ‎of different kinds of weak regular injectivity with products‎, ‎coproducts and direct sums is considered‎. ‎Also‎, ‎some‎ ‎characterizations of pomonoids over which all $S$-posets are of‎ ‎some kind of weakly regular injective are obtained‎. ‎Further‎, ‎we‎ ‎giv...

Suppose we are given a pseudo-linearly convex triangle F . In [30], the main result was the construction of totally universal triangles. We show that S (π, ι̃) ∼ { 1 ‖Ī‖ : √ 2 −4 = ⋂ X ( R′ )}

Abstract We investigate the injective types and algebraically in univalent mathematics, both absence presence of propositional resizing. Injectivity is defined by surjectivity restriction map along any embedding, algebraic injectivity a given section embedding. Under resizing axioms, main results are easy to state: (1) equivalent truncation injectivity. (2) The precisely retracts exponential po...

Abstract. We show that the Strong Novikov Conjecture for the maximal C∗-algebra C∗(π) of a discrete group π is equivalent to a statement in topological K-theory for which the corresponding statement in algebraic K-theory is always true. We also show that for any group π , rational injectivity of the full assembly map for K ∗(C ∗(π)) follows from rational injectivity of the restricted assembly map.