Metric, topology and multicategory -- a common approach
From MaRDI portal
Publication:1869194
DOI10.1016/S0022-4049(02)00246-3zbMath1015.18004MaRDI QIDQ1869194
Maria Manuel Clementino, Walter Tholen
Publication date: 9 April 2003
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Preorders, orders, domains and lattices (viewed as categories) (18B35) Definitions and generalizations in theory of categories (18A05) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (50)
Lattice-valued preordered sets as lattice-valued topological systems ⋮ Basic concepts of quantale-enriched topologies ⋮ On exponentiability of étale algebraic homomorphisms ⋮ Topological theories and closed objects ⋮ Ordered topological structures ⋮ Local homeomorphisms via ultrafilter convergence ⋮ Quantale-Enriched Multicategories Via Actions ⋮ Quantale-valued topological spaces via closure and convergence ⋮ The comprehensive factorization of Burroni's T-functors ⋮ Injective hulls of quantale-enriched multicategories ⋮ Injective spaces via adjunction ⋮ Representable \((\mathbb{T},\mathbf{V})\)-categories ⋮ Quantalic topological theories ⋮ Descent for internal multicategory functors ⋮ On effective descent \(\mathcal{V}\)-functors and familial descent morphisms ⋮ The order-theoretic duality and relations between partial metrics and local equalities ⋮ Polycategories via pseudo-distributive laws ⋮ Compactly generated spaces and quasi-spaces in topology ⋮ Cauchy completeness, lax epimorphisms and effective descent for split fibrations ⋮ Unnamed Item ⋮ Descent morphisms and a van Kampen theorem in categories of lax algebras ⋮ Lax algebra meets topology ⋮ A duality of generalized metric spaces ⋮ A note on effective descent morphisms of topological spaces and relational algebras ⋮ A duality of quantale-enriched categories ⋮ Unnamed Item ⋮ A categorical approach to the maximum theorem ⋮ The limit–colimit coincidence theorem for -categories ⋮ Axioms for sequential convergence ⋮ A topologist's view of Chu spaces ⋮ The enriched Vietoris monad on representable spaces ⋮ Covering morphisms in categories of relational algebras ⋮ Lax algebras via initial monad morphisms: APP, TOP, MET and ORD ⋮ Towards Stone duality for topological theories ⋮ Approximation in quantale-enriched categories ⋮ An algebraic description of regular epimorphisms in topology ⋮ Monads in topology ⋮ Lawvere completion and separation via closure ⋮ Exponentiation in \({\mathcal V}\)-categories ⋮ Exponentiation for unitary structures ⋮ Met-like categories amongst concrete topological categories ⋮ The \(\top\)-filter monad and its applications ⋮ The formal ball model for -categories ⋮ Characterization of a category for monoidal topology ⋮ Lawvere completeness in topology ⋮ Another note on effective descent morphisms of topological spaces and relational algebras ⋮ Strict monadic topology. I: First separation axioms and reflections ⋮ On generalized equilogical spaces ⋮ Cartesian closed exact completions in topology ⋮ On fuzzification of topological categories
Cites Work
- Coproducts and ultrafilters
- Variation through enrichment
- Topological features of Lax algebras
- The convergence approach to exponentiable maps.
- Representable multicategories
- The formal theory of monads. II
- Distributive laws and factorization
- Lax factorization algebras
- Adjoint functors and triples
- Metric spaces, generalized logic, and closed categories
- Introduction to bicategories
- Relational algebras
- On weak higher-dimensional categories. I. 2
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Metric, topology and multicategory -- a common approach
