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

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

We study homeomorphisms h : X onto −→ Y between two bounded domains in Rn having finite conformal energy E[h] = ∫ X ||Dh(x) || n dx < ∞ , h ∈ W (X,Y). We consider the behavior of such mappings, including continuous extension to the closure of X and injectivity of h : X → Y. In general, passing to the weak W 1,n-limit of a sequence of homeomorphisms hj : X → Y one loses injectivity. However, if ...

We consider properties of the total absolute geodesic curvature functional on circle immersions into a Riemann surface. In particular, we study its behavior under regular homotopies, its infima in regular homotopy classes, and the homotopy types of spaces of its local minima. We also consider the total curvature functional on the space of 2-sphere immersions into 3-space in a similar spirit. We...

In this paper, we show that injectivity with respect to the class $mathcal{D}$  of dense monomorphisms of an idempotent and weakly hereditary closure operator of an arbitrary category  well-behaves. Indeed, if $mathcal{M}$ is a subclass of monomorphisms, $mathcal{M}cap mathcal{D}$-injectivity  well-behaves. We also introduce the notion of $(r,t)$-injectivity in the category {bf S-Act}, where $r...

For reasoning on the Web, Datalog is lacking data extraction and value invention. This article proposes to overcome these limitations with “simulation unification” and “RDFLog”. Simulation unification is a non-standard unification inspired from regular path queries. Like standard unification, it yields bindings for variables in both terms to unify. Unlike standard unification, it does not try t...

This work is devoted to give a charcaterization of a pomonoid $S$ such that all cyclic $S$-posets are regular injective.