Topological theories and closed objects

DOI10.1016/J.AIM.2007.04.013MaRDI QIDQ2383009zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 2125656 (Why is no real title available?)
• scientific article; zbMATH DE number 3880912 (Why is no real title available?)
• scientific article; zbMATH DE number 3815933 (Why is no real title available?)
• scientific article; zbMATH DE number 3549200 (Why is no real title available?)
• scientific article; zbMATH DE number 1295626 (Why is no real title available?)
• scientific article; zbMATH DE number 1021635 (Why is no real title available?)
• scientific article; zbMATH DE number 2068083 (Why is no real title available?)
• scientific article; zbMATH DE number 1796614 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 3389217 (Why is no real title available?)
• scientific article; zbMATH DE number 2222235 (Why is no real title available?)
• An algebraic description of regular epimorphisms in topology
• Coproducts and ultrafilters
• Exponentiation for unitary structures
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Introduction to extensive and distributive categories
• Lawvere completeness in topology
• Local homeomorphisms via ultrafilter convergence
• Metric, topology and multicategory -- a common approach
• One setting for all: Metric, topology, uniformity, approach structure
• Relational algebras
• Representable multicategories
• Synthetic topology: of data types and classical spaces
• Taut monads and \(T0\)-spaces.
• The convergence approach to exponentiable maps.
• Topological features of Lax algebras
• Triquotient maps via ultrafilter convergence
• Variation through enrichment

Cited in

(45)

• On generalized equilogical spaces
• First order topological structures and theories
• Approaching metric domains
• scientific article; zbMATH DE number 7566075 (Why is no real title available?)
• 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
• 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
• A quantified coalgebraic van Benthem theorem
• Cartesian closed exact completions in 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
• Kleisli enriched
• scientific article; zbMATH DE number 7646807 (Why is no real title available?)
• Categorical approach to modelling and to coupling of models
• Functional topology for geometric settings
• A duality of generalized metric spaces
• The formal ball model for \(\mathcal Q\)-categories
• Up-to techniques for behavioural metrics via fibrations
• 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
• Quantalic topological theories
• The limit–colimit coincidence theorem for -categories
• On the metrical and quantalic versions of the \(\ast\)-autonomous category of sup-lattices
• scientific article; zbMATH DE number 7559483 (Why is no real title available?)
• Representable T-categories
• Structure elevators
• Categorically algebraic topology versus universal topology
• Hausdorff coalgebras
• Duality theory for enriched Priestley spaces
• Functorial semantics of topological theories

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)