Sheaf representation of monoidal categories

DOI10.1016/j.aim.2023.108900zbMath1506.18018arXiv2106.08896OpenAlexW3166620091MaRDI QIDQ2687340

Rui Soares Barbosa, Chris Heunen

Publication date: 2 March 2023

Published in: Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

representation theoremmonoidal categorysheafcentral idempotent

Mathematics Subject Classification ID

Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Local categories and functors (18F05) Monoidal categories, symmetric monoidal categories (18M05) Frames and locales, pointfree topology, Stone duality (18F70)

Related Items

Axioms for the category of Hilbert spaces and linear contractions

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
• What is the world of mathematics?
• Groupoid sheaves as quantale sheaves
• Weakly distributive categories
• Idempotent monads and \(\star \)-functors
• Priestley style duality for distributive meet-semilattices
• Tortile Yang-Baxter operators in tensor categories
• Quantales and their sheaves
• Sheaves in geometry and logic: a first introduction to topos theory
• Higher-dimensional algebra. II: 2-Hilbert spaces
• Proof of a conjecture of S. Mac Lane
• Finite, connected, semisimple, rigid tensor categories are linear
• Frobenius structures over Hilbert \(C^*\)-modules
• An étalé space construction for stacks
• Sheaf representation for topoi
• Monoid properties as invariants of toposes of monoid actions
• Tensor topology
• A Survey of Graphical Languages for Monoidal Categories
• Generalized tensor idempotents and the telescope conjecture
• Space in Monoidal Categories
• An embedding theorem for Hilbert categories
• A unified treatment of transfinite constructions for free algebras, free monoids, colimits, associated sheaves, and so on
• Spectral Spaces
• Traced monoidal categories
• Tensor-restriction categories
• Sheaf Representations and Duality in Logic
• Topo-logie
• Categories for Quantum Theory
• Higher Topos Theory (AM-170)
• Representation of rings by sections
• Prime Ideal Structure in Commutative Rings
• The spectrum of prime ideals in tensor triangulated categories