Results 31 to 40 of about 110,236 (220)
Planar diagrammatics of self-adjoint functors and recognizable tree series [PDF]
Pure and Applied Mathematics Quarterly, 2021 A pair of biadjoint functors between two categories produces a collection of elements in the centers of these categories, one for each isotopy class of nested circles in the plane.
M. Khovanov, Robert Laugwitz
semanticscholar +1 more source
Cofrobenius Corings and adjoint Functors [PDF]
, 2006 Miodrag C. Iovanov, Joost Vercruysse
openalex +3 more sources
A characterization of finite \'etale morphisms in tensor triangular geometry [PDF]
Épijournal de Géométrie Algébrique, 2022 We provide a characterization of finite \'etale morphisms in tensor triangular geometry. They are precisely those functors which have a conservative right adjoint, satisfy Grothendieck--Neeman duality, and for which the relative dualizing object is ...
Beren Sanders
doaj +1 more source
Adjoints and emergence: applications of a new theory of adjoint functors [PDF]
, 2007 David Ellerman
openalex +2 more sources
Green correspondence and relative projectivity for pairs of adjoint functors between triangulated categories [PDF]
, 2020 Auslander and Kleiner proved in 1994 an abstract version of Green correspondence for pairs of adjoint functors between three categories. They produce additive quotients of certain subcategories giving the classical Green correspondence in the special ...
A. Zimmermann
semanticscholar +1 more source
Cotorsion pairs and adjoint functors in the homotopy category of N-complexes [PDF]
Journal of Algebra and its Applications, 2019 In this paper, we first construct some complete cotorsion pairs on the category [Formula: see text] of unbounded [Formula: see text]-complexes of Grothendieck category [Formula: see text], from two given cotorsion pairs in [Formula: see text].
P. Bahiraei
semanticscholar +1 more source
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory [PDF]
Logical Methods in Computer Science, 2020 Clocked Type Theory (CloTT) is a type theory for guarded recursion useful for programming with coinductive types, allowing productivity to be encoded in types, and for reasoning about advanced programming language features using an abstract form of step ...
Bassel Mannaa +2 more
doaj +1 more source
On the Lambek Calculus with an Exchange Modality [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 In this paper we introduce Commutative/Non-Commutative Logic (CNC logic) and two categorical models for CNC logic. This work abstracts Benton's Linear/Non-Linear Logic by removing the existence of the exchange structural rule.
Jiaming Jiang +2 more
doaj +1 more source
ADJOINT FUNCTORS BETWEEN CATEGORIES OF HILBERT $C^{\ast }$ -MODULES [PDF]
Journal of the Institute of Mathematics of Jussieu, 2014 Let $E$ be a (right) Hilbert module over a $C^{\ast }$ -algebra $A$ . If $E$ is equipped with a left action of a second $C^{\ast }$ -algebra $B$ , then tensor product with $E$ gives rise to a functor from the category of Hilbert $B$ -modules to the ...
Pierre Clare, Tyrone Crisp, N. Higson
semanticscholar +1 more source