Cartesian closed exact completions in topology

DOI10.1016/j.jpaa.2019.06.003zbMath1443.18001arXiv1811.03993OpenAlexW2964243465WikidataQ127671735 ScholiaQ127671735MaRDI QIDQ2318408

Dirk Hofmann, Maria Manuel Clementino, Willian Ribeiro

Publication date: 15 August 2019

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

exponentiationenriched categoryexact completionquantale(probabilistic) metric space(weakly) Cartesian closed category

Mathematics Subject Classification ID

Categorical methods in general topology (54B30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Preorders, orders, domains and lattices (viewed as categories) (18B35) Enriched categories (over closed or monoidal categories) (18D20) Probabilistic metric spaces (54E70)

Related Items (4)

Compactly generated spaces and quasi-spaces in topology ⋮ Hausdorff coalgebras ⋮ On generalized equilogical spaces ⋮ How nice are free completions of categories?

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Injective spaces via adjunction
• Probabilistic metric spaces as enriched categories
• On the structure of semi-groups on a compact manifold with boundary
• Order-adjoint monads and injective objects
• Representable \((\mathbb{T},\mathbf{V})\)-categories
• Lawvere completion and separation via closure
• Lawvere completeness in topology
• Cartesian closed exact completions
• Topological features of Lax algebras
• Representable multicategories
• Equilogical spaces
• Metric, topology and multicategory -- a common approach
• The enriched Vietoris monad on representable spaces
• The monads of classical algebra are seldom weakly Cartesian
• On generalized equilogical spaces
• Topological theories and closed objects
• Ordered topological structures
• The rise and fall of \(V\)-functors
• Universality of coproducts in categories of lax algebras
• Exponentiation in \({\mathcal V}\)-categories
• Exponentiation for unitary structures
• Monoidal Topology
• Exponentiable approach spaces
• Compact Semigroups Irreducibly Connected Between Two Idempotents
• From coherent structures to universal properties

This page was built for publication: Cartesian closed exact completions in topology