Related papers: On inversion of adjunction
We generalize the concept of disjunction.
The "odd transgression" introduced by the authors in an earlier article is applied to construct and study the inverse image functor in the theory of Courant algebroids.
A paraconsistent type theory (an extension of a fragment of intuitionistic type theory by adding opposite types) is here extended by adding co-function types. It is shown that, in the extended paraconsistent type system, the opposite type…
For a birational log Fano contraction, it is conjectured an inequality between the dimension of its exceptional locus and the minimal log discrepancy over the locus. The conjecture follows from the existence of the flip for the contraction…
We extend the classical links between valuations and orderings on fields to Tignol-Wadsworth gauges and positive cones on finite-dimensional simple algebras with involution. We also study the compatibility of gauges and positive cones, and…
The notion of a duality between two derived functors as well as an extension theorem for derived functors to larger categories in which they need not be defined is introduced. These ideas are then applied to extend and study the coext…
The aim of this paper is to present a very simple original, purely formal, proof of Quillen's adjunction theorem for derived functors, and of some more recent variations and generalizations of this theorem. This is obtained by proving an…
Recently we presented a concise survey of the formulation of the induction and coinduction principles, and some concepts related to them, in five different fields mathematical fields, hence shedding some light on the precise relation…
We put a new conjecture on primes from the point of view of its binary expansions and make a step towards justification.
We introduce a refinement of Bar-Natan homology for involutive links, extending the work of Lobb-Watson and Sano. We construct a new suite of numerical invariants and derive bounds for the genus of equivariant cobordisms between strongly…
We associate to each automorphism of the plane, a geometric construction with some properties, it is the {\it{canonical resolution}}. We study the geometry of the canonical resolution, we deduce from it an upper bound for a geometric…
Previous work on soft-gluon resummation for direct photon production is extended to include additional subleading logarithmic terms through O(alpha alpha_s^3) and some representative comparisons are made to experimental results from the…
It is shown that every two-variable adjunction in categories enriched in a commutative quantale serves as a base for constructing Isbell adjunctions between functor categories, and Kan adjunctions are precisely Isbell adjunctions…
Our original results refer to multivariate recurrences: discrete multitime diagonal recurrence, bivariate recurrence, trivariate recurrence, solutions tailored to particular situations, second order multivariate recurrences, characteristic…
We prove some statements of left- and right-continuous variants of generalized inverses of non-decreasing real functions.
The aim of the present paper is to make some notes to the newly introduced conformable derivative as a type local fractional derivative and to present a surprising result about the relation between the conformable derivatives and the usual…
This article handles in a short manner a few Laplace transform pairs and some extensions to the basic equations are developed. They can be applied to a wide variety of functions in order to find the Laplace transform or its inverse when…
We present the elementary properties of log canonical centers of log varieties.
We study the concept of idempotence for relative monads, which exhibits several subtleties not present for non-relative monads. In particular, there is a bifurcation of notions of idempotence in the relative setting, which are…
Analogical proportions compare pairs of items (a, b) and (c, d) in terms of their differences and similarities. They play a key role in the formalization of analogical inference. The paper first discusses how to improve analogical inference…