Injectivity is one of the important properties for functions while it is undecidable in general and decidable for linear treeless functions. In this paper, we show new sufficient conditions for injectivity of functions in term rewriting, which are based on program inversion. More precisely, we show that functions defined by non-erasing, convergent and sufficiently complete constructor rewrite s...

Injectivity tests in wells with two permeable zones and internal flow is analyzed in order to include the usually severe thermal transient effects. A theoretical analysis is performed and a method devised to obtain information from the thermal transient,,provided that temperature is measured simultaneously with pressure. The technique is illustrated with two real tests performed at Miravalles, ...

We show that every λm-injectivity class (i.e., the class of all the objects injective with respect to some class of λ-presentable morphisms) is a weakly reflective subcategory determined by a functorial weak factorization system cofibrantly generated by a class of λ-presentable morphisms. This was known for small-injectivity classes, and referred to as the “small object argument”. An analogous ...

Recently, Cochran and Harvey defined torsion-free derived series of groups and proved an injectivity theorem on the associated torsion-free quotients. We show that there is a universal construction which extends such an injectivity theorem to an isomorphism theorem. Our result relates injectivity theorems to a certain homology localization of groups. In order to give a concrete combinatorial de...

Injectivity is essential when studying the correctness of authentication protocols, because non-injective protocols may suffer from replay attacks. The standard ways of verifying injectivity either make use of a counting argument, which only seems to be applicable in a verification methodology based on model-checking, or draw conclusions on the basis of the details of the data-model used. We pr...

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

Using Escardó-Flagg approach to injectivity via Kock-Zöberlein monads in T0 topological spaces [3], and Hofmann’s recent study of injectivity for spaces [4], we characterize continuous maps which are injective with respect to special classes of embeddings using convergence: see [1]. In fact, convergence has been shown to be very useful in the characterization of special classes of maps, like ef...

We treat a relative version of the main theorem in [F2]: A transcendental approach to Kollár’s injectivity theorem. More explicitly, we give a curvature condition that implies Kollár type cohomology injectivity theorems in the relative setting. To carry out this generalization, we use Ohsawa-Takegoshi’s twisted version of Nakano’s identity.