Quantale-Enriched Multicategories Via Actions

zbMath1498.18028arXiv2105.01462MaRDI QIDQ5868038

Eros Martinelli

Publication date: 19 September 2022

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

zbMATH Keywords

metric spacemulticategorybimorphismmonoidal categoryinjective hullenriched categorypresheafquantalequantaloidquantum B-algebraYoneda embeddingordered monoiddistributorKock-Zöberlein monad\(V\)-categorysuplattice\(V\)-functor\(V\)-modulelist monadcocomplete \(V\)-category

Mathematics Subject Classification ID

Special categories (18B99) Enriched categories (over closed or monoidal categories) (18D20) Monoidal categories, symmetric monoidal categories (18M05) Actions of a monoidal category, tensorial strength (18D25) Quantales (18F75) Non-symmetric operads, multicategories, generalized multicategories (18M65)

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
• An introduction to quantaloid-enriched categories
• Approaching metric domains
• Injective spaces via adjunction
• Representable \((\mathbb{T},\mathbf{V})\)-categories
• Lawvere completion and separation via closure
• Lawvere completeness in topology
• Variation through enrichment
• Semantics of weakening and contraction
• Enrichment through variation
• Enriched Stone-type dualities
• Metric, topology and multicategory -- a common approach
• Monads for which structures are adjoint to units
• The enriched Vietoris monad on representable spaces
• The double power monad is the composite power monad
• Quantum B-algebras
• The formal theory of monads
• Strong functors and monoidal monads
• Injective hulls of quantale-enriched multicategories
• Monoidal Topology
• An extension of the Galois theory of Grothendieck
• A 2-Categories Companion
• On Categories of Monoids, Comonoids, and Bimonoids
• Relative injectivity as cocompleteness for a class of distributors
• Metric spaces, generalized logic, and closed categories
• Bilinearity and Cartesian Closed Monads.

This page was built for publication: Quantale-Enriched Multicategories Via Actions