Given an order-enriched category, it is known that all its KZ-monadic subcategories can be described by Kan-injectivity with respect to a collection of morphisms. We prove the analogous result for Kan-injectivity with respect to a collection H of commutative squares. A square is called a Kan-injective consequence of H if by adding it to H Kan-injectivity is not changed. We present a sound logic...

We extend previous work on injectivity in chemical reaction networks to general interaction networks. Matrixand graph-theoretic conditions for injectivity of these systems are presented. A particular signed, directed, labelled, bipartite multigraph, termed the “DSR graph”, is shown to be a useful representation of an interaction network when discussing questions of injectivity. A graph-theoreti...

Uniform cubic B-spline functions have been used for mapping functions in various areas such as image warping and morphing, 3D deformation, and volume morphing. The injectivity (one-to-one property) of a mapping function is important to obtain good results in these areas. This paper considers the local injectivity conditions of 2D and 3D uniform cubic B-spline functions. We propose a geometric i...

Nonuniform tubular neighborhoods of curves in Rn are studied by using weighted distance functions and generalizing the normal exponential map. Different notions of injectivity radii are introduced to investigate singular but injective exponential maps. A generalization of the thickness formula is obtained for nonuniform thickness. All singularities within almost injectivity radius are classifie...

Injectivity of objects with respect to a set H of morphisms is an important concept of algebra and homotopy theory; here we study the logic of consequences of H, by which we understand morphisms h such that injectivity with respect to H implies injectivity with respect to h. We formulate three simple deduction rules for the injectivity logic and for its finitary version (where morphisms between...

We treat Kollár’s injectivity theorem from the analytic (or differential geometric) viewpoint. More precisely, we give a curvature condition which implies Kollár type cohomology injectivity theorems. Our injectivity theorem is formulated for a compact Kähler manifold, but the proof uses the space of harmonic forms on a Zariski open set with a suitable complete Kähler metric. We need neither cov...

Uniform cubic B-spline functions have been used for mapping functions in various areas such as image warping and morphing, 3D deformation, and volume morphing. The injectivity (one-to-one property) of a mapping function is crucial to obtain desirable results in these areas. This paper considers the injectivity conditions of 2D and 3D uniform cubic B-spline functions. We propose a geometric inte...

A generalization of injective modules (noted GI-modules), distinct from p-injective modules, is introduced. Rings whose p-injective modules are GI are characterized. If M is a left GI-module, E = End(AM), then E/J(E) is von Neumann regular, where J(E) is the Jacobson radical of the ring E. A is semisimple Artinian if, and only if, every left A-module is GI. If A is a left p. p., left GI-ring su...

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

Rational Bézier functions are widely used as mapping functions in surface reparameterization, finite element analysis, image warping and morphing. The injectivity (one-toone property) of a mapping function is typically necessary for these applications. Toric Bézier patches are generalizations of classical patches (triangular, tensor product) which are defined on the convex hull of a set of inte...