The tensor embedding for a Grothendieck cosmos

DOI10.1007/s11425-021-2046-9zbMath1525.18006arXiv1911.12717OpenAlexW2990820914MaRDI QIDQ6084689

Henrik Holm, Sinem Odabaşı

Publication date: 6 November 2023

Published in: Science China. Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1911.12717

zbMATH Keywords

exact categorypuritysymmetric monoidal categoryYoneda embeddingenriched functortensor embedding(pre)envelope(pure) injective object

Mathematics Subject Classification ID

Projectives and injectives (category-theoretic aspects) (18G05) Abelian categories, Grothendieck categories (18E10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Enriched categories (over closed or monoidal categories) (18D20) Categorical embedding theorems (18E20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cartesian modules over representations of small categories
• Grothendieck categories of enriched functors
• The derived category of quasi-coherent sheaves and axiomatic stable homotopy
• Equivariant stable homotopy theory. With contributions by J. E. McClure
• Gorenstein dimensions
• On the derived category of quasi-coherent sheaves on an Adams geometric stack
• Relative homological algebra
• Cotilting sheaves on Noetherian schemes
• Sur quelques points d'algèbre homologique
• Exact categories
• Pure Injective and Absolutely Pure Sheaves
• Tensor categorical foundations of algebraic geometry
• On Pure Quotients and Pure Subobjects
• Classifying finite localizations of quasicoherent sheaves
• Accessible Categories: The Foundations of Categorical Model Theory
• Higher algebraic K-theory: I
• Locally finitely presented additive categories
• Axiomatic stable homotopy theory
• PURE-INJECTIVE ENVELOPES
• Sheafifiable homotopy model categories
• On flat generators and Matlis duality for quasicoherent sheaves
• Purity and flatness in symmetric monoidal closed exact categories
• Pure exact structures and the pure derived category of a scheme
• Categories and Sheaves
• the stable derived category of a noetherian scheme
• Purity in locally-presentable monoidal categories