Results 21 to 30 of about 111,083 (181)
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
Varieties of topological groups and left adjoint functors [PDF]
Journal of the Australian Mathematical Society, 1973 Sidney A. Morris
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
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
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
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
Resolving resolution dimensions in triangulated categories
Open Mathematics, 2021 Let T{\mathcal{T}} be a triangulated category with a proper class ξ\xi of triangles and X{\mathcal{X}} be a subcategory of T{\mathcal{T}}. We first introduce the notion of X{\mathcal{X}}-resolution dimensions for a resolving subcategory of T{\mathcal{T}}
Ma Xin, Zhao Tiwei
doaj +1 more source
Resolution Dimension Relative to Resolving Subcategories in Extriangulated Categories
Mathematics, 2021 Let (C,E,s) be an extriangulated category with a proper class ξ of E-triangles and X a resolving subcategory of C. In this paper, we introduce the notion of X-resolution dimension relative to the subcategory X in C, and then give some descriptions of ...
Lingling Tan, Li Liu
doaj +1 more source