Topological theories and closed objects

DOI10.1016/J.AIM.2007.04.013zbMATH Open1127.18001OpenAlexW2028261981MaRDI QIDQ2383009FDOQ2383009

Authors: Dirk Hofmann 

Publication date: 5 October 2007

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

Full work available at URL: https://doi.org/10.1016/j.aim.2007.04.013

Recommendations

• Functorial semantics of topological theories
• Representation of algebraic theories and non-expanding maps
• Structure elevators
• Quantalic topological theories
• The monad induced by the hom-functor in the category of topological spaces and its associated Eilenberg-Moore algebras

zbMATH Keywords

compactnessfunction spacesmonadsquantaleslax algebrasV-categories

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Categorical methods in general topology (54B30) Enriched categories (over closed or monoidal categories) (18D20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Variation through enrichment
• Introduction to extensive and distributive categories
• One setting for all: Metric, topology, uniformity, approach structure
• Representable multicategories
• Metric, topology and multicategory -- a common approach
• Title not available (Why is that?)
• Relational algebras
• Topological features of Lax algebras
• Taut monads and \(T0\)-spaces.
• Title not available (Why is that?)
• Lawvere completeness in topology
• Synthetic topology: of data types and classical spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Triquotient maps via ultrafilter convergence
• Local homeomorphisms via ultrafilter convergence
• Coproducts and ultrafilters
• Title not available (Why is that?)
• An algebraic description of regular epimorphisms in topology
• Title not available (Why is that?)
• Title not available (Why is that?)
• The convergence approach to exponentiable maps.
• Exponentiation for unitary structures
• Title not available (Why is that?)

Cited In (45)

• First order topological structures and theories
• Title not available (Why is that?)
• Approaching metric domains
• Towards Stone duality for topological theories
• Convergence and quantale-enriched categories
• Every theory is algebraic and topologic
• Up-to techniques for behavioural metrics via fibrations
• Lawvere completion and separation via closure
• Lawvere completeness in topology
• A quantified coalgebraic van Benthem theorem
• Cartesian closed exact completions in topology
• Descent morphisms and a van Kampen theorem in categories of lax algebras
• Categorical foundations of variety-based topology and topological systems
• Lax algebra meets topology
• Approximation in quantale-enriched categories
• Enriched Stone-type dualities
• Injective spaces via adjunction
• Extended-order algebras as a generalization of posets
• A four for the price of one duality principle for distributive spaces
• From quantale algebroids to topological spaces: fixed- and variable-basis approaches
• Quantale-valued topological spaces via closure and convergence
• Compactly generated spaces and quasi-spaces in topology
• Met-like categories amongst concrete topological categories
• Title not available (Why is that?)
• Kleisli enriched
• Categorical approach to modelling and to coupling of models
• Up-to techniques for behavioural metrics via fibrations
• The formal ball model for \(\mathcal Q\)-categories
• A duality of generalized metric spaces
• Functional topology for geometric settings
• Representable \((\mathbb{T},\mathbf{V})\)-categories
• Alexandroff topologies and monoid actions
• The enriched Vietoris monad on representable spaces
• Representation of algebraic theories and non-expanding maps
• The limit–colimit coincidence theorem for -categories
• On the metrical and quantalic versions of the \(\ast\)-autonomous category of sup-lattices
• Quantalic topological theories
• Title not available (Why is that?)
• Representable T-categories
• Structure elevators
• Categorically algebraic topology versus universal topology
• Hausdorff coalgebras
• Duality theory for enriched Priestley spaces
• Functorial semantics of topological theories
• On generalized equilogical spaces

This page was built for publication: Topological theories and closed objects

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