Representable (T,V)-categories

DOI10.1007/S10485-014-9386-3MaRDI QIDQ891924zbMATH OpenOpenAlexFDO

Authors Maria Manuel Clementino, Dirk Hofmann, Dimitri Chikhladze

Publication date 18 November 2015

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1410.6695, http://hdl.handle.net/10316/43644

zbMATH Keywords

\((\mathbb T\mathbf V)\)-categoryKock-Zöberlein monadmonadmulticategorytopological space

Mathematics Subject Classification ID

Eilenberg-Moore and Kleisli constructions for monads (18C20) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Abstract: Working in the framework of $(T,V)$-categories, for a symmetric monoidal closed category $V$ and a (not necessarily cartesian) monad $T$, we present a common account to the study of ordered compact Hausdorff spaces and stably compact spaces on one side and monoidal categories and representable multicategories on the other one. In this setting we introduce the notion of dual for $(T,V)$-categories.

Recommendations

• scientific article; zbMATH DE number 7377652
• Representable T-categories
• The enriched Vietoris monad on representable spaces
• A characterization of representable intervals
• Convergence and quantale-enriched categories

Cites work

• A couple of triples
• Algebraic theories of compact pospaces
• Continuous Lattices and Domains
• Distributive laws and factorization
• Duality for distributive spaces
• From coherent structures to universal properties
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 1330442 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 1129148 (Why is no real title available?)
• Injective spaces via adjunction
• Lawvere completeness in topology
• Lax formal theory of monads, monoidal approach to bicategorical structures and generalized operads
• Metric spaces, generalized logic, and closed categories
• Metric, topology and multicategory -- a common approach
• Monads for which structures are adjoint to units
• Monoidal topology. A categorical approach to order, metric, and topology
• Ordered topological structures
• Prime Ideal Structure in Commutative Rings
• Relational algebras
• Relative injectivity as cocompleteness for a class of distributors
• Representable multicategories
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Stably compact spaces
• Stably compact spaces and the probabilistic powerspace construction
• The formal theory of monads
• The Theory of Representation for Boolean Algebras
• Topological theories and closed objects
• Variation through enrichment

Cited in

(9)

• Representable multicategories
• On generalized equilogical spaces
• Cartesian closed exact completions in topology
• Injective hulls of quantale-enriched multicategories
• scientific article; zbMATH DE number 4163129 (Why is no real title available?)
• Representable T-categories
• Convergence and quantale-enriched categories
• scientific article; zbMATH DE number 7377652 (Why is no real title available?)
• Quantale-enriched multicategories via actions

This page was built for publication: Representable \((\mathbb{T},\mathbf{V})\)-categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q891924)