Related papers: Adjunction and inversion of adjunction
It is shown that every concretizable category can be fully embedded into the category of accessible set functors and natural transformations.
This paper is a sequel to "Logical systems I: Lambda calculi through discreteness". It provides a general 2-categorical setting for extensional calculi and shows how intensional and extensional calculi can be related in logical systems. We…
Shokurov's ACC Conjecture says that the set of all log canonical thresholds on varieties of bounded dimension satisfies the Ascending Chain Condition. This conjecture was proved for log canonical thresholds on smooth varieties in [EM1].…
We develop the theory of relative monads and relative adjunctions in a virtual equipment, extending the theory of monads and adjunctions in a 2-category. The theory of relative comonads and relative coadjunctions follows by duality. While…
We give a direct construction of a specific idempotent in the endomorphism algebra of a finite lattice $T$. This idempotent is associated with all possible sublattices of $T$ which are total orders.
The topics of Convexity and Concavity and Envelopes are central in Complex Analysis and extensively investigated. The aim of this paper is to find a possible counterpart in Algebraic Geometry. The article presents preliminary results on…
Finite-dimensional Hopf algebras admit a correspondence between so-called pairs in involution, one-dimensional anti-Yetter--Drinfeld modules and algebra isomorphisms between the Drinfeld and anti-Drinfeld double. We extend it to general…
We classify cuts in (totally) ordered abelian groups $\g$ and compute the coinitiality and cofinality of all cuts in case $\g$ is divisible, in terms of data intrinsically associated to the invariance group of the cut. We relate cuts with…
We introduce the notion of the power quandle of a group, an algebraic structure that forgets the multiplication but keeps the conjugation and the power maps. Compared with plain quandles, power quandles are much better invariants of groups.…
The minimal log discrepancy is an invariant of singularities that plays an important role in the birational classification of algebraic varieties. Shokurov conjectured that the minimal log discrepancy can always be bounded from above in…
We prove a version of adelic descent for continuous localizing invariants.
We define the notion of central orderings for a general commutative ring $A$ which generalizes the notion of central points of irreducible real algebraic varieties. We study a central and a precentral loci which both live in the real…
We consider an invariant gradient flow for the invariant length functional for co-compact curves in inversive geometry, and prove that solutions exist for all time and converge to loxodromic curves, provided the initial curve is admissible…
We give canonical resolutions of singularities of several cone varieties arising from invariant theory. We establish a connection between our resolutions and resolutions of singularities of closure of conjugacy classes in classical Lie…
In this paper, we propose non-commutative analogues of infimum and supremum with the help of algebraic orthogonality.
In this paper we introduce an enhanced notion of extremal systems for sets in locally convex topological vector spaces and obtain efficient conditions for set extremality in the convex case. Then we apply this machinery to deriving new…
In this paper we describe central extensions (up to isomorphism) of all complex null-filiform and filiform associative algebras.
The paper is devoted to the development of a comprehensive calculus for directional limiting normal cones, subdifferentials and coderivatives in finite dimensions. This calculus encompasses the whole range of the standard generalized…
We give estimates for the convolution product of an arbitrary number of endlessly continuable functions. This allows us to deal with nonlinear operations for the corresponding resurgent series, e.g. substitution into a convergent power…
We introduce and investigate a category-theoretic abstraction of the standard "system-solution" adjunction in affine algebraic geometry. We then look further into these geometric adjunctions at different levels of generality, from syntactic…