Topological theories and closed objects
From MaRDI portal
Publication:2383009
The author introduces the concept of a topological theory as a syntactic tool to investigate lax algebras. He demonstrates the usefulness of this approach by applying it to the investigation of function spaces.
Recommendations
Cites work
- An algebraic description of regular epimorphisms in topology
- Coproducts and ultrafilters
- Exponentiation for unitary structures
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
- 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?)
- 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
(50)- Lawvere completeness in topology
- Enriched Stone-type dualities
- Quantalic topological theories
- Met-like categories amongst concrete topological categories
- Representation of algebraic theories and non-expanding maps
- Hausdorff coalgebras
- Duality theory for enriched Priestley spaces
- Alexandroff topologies and monoid actions
- Compactly generated spaces and quasi-spaces in topology
- A quantified coalgebraic van Benthem theorem
- The enriched Vietoris monad on representable spaces
- On generalized equilogical spaces
- Cartesian closed exact completions in topology
- A four for the price of one duality principle for distributive spaces
- Quantale-valued topological spaces via closure and convergence
- Categorically algebraic topology versus universal topology
- Functorial semantics of topological theories
- Categorical approach to modelling and to coupling of models
- Structure elevators
- The formal ball model for \(\mathcal Q\)-categories
- Extended-order algebras as a generalization of posets
- Every theory is algebraic and topologic
- The limit–colimit coincidence theorem for -categories
- Representable T-categories
- First order topological structures and theories
- Functional topology for geometric settings
- Approaching metric domains
- Categorical foundations of variety-based topology and topological systems
- Descent morphisms and a van Kampen theorem in categories of lax algebras
- Lax algebra meets topology
- Convergence and quantale-enriched categories
- Kleisli enriched
- Up-to techniques for behavioural metrics via fibrations
- scientific article; zbMATH DE number 7559483 (Why is no real title available?)
- Characteristic logics for behavioural hemimetrics via fuzzy lax extensions
- Towards Stone duality for topological theories
- Approximation in quantale-enriched categories
- scientific article; zbMATH DE number 7646807 (Why is no real title available?)
- Injective spaces via adjunction
- Up-to techniques for behavioural metrics via fibrations
- A duality of generalized metric spaces
- On the metrical and quantalic versions of the -autonomous category of sup-lattices
- Behavioural metrics: compositionality of the Kantorovich lifting and an application to up-to techniques
- Topological Lax comma categories
- Continuous \([0,1]\)-lattices and injective \([0,1]\)-approach spaces
- Correspondences between codensity and coupling-based liftings, a practical approach
- Generalized Kantorovich-Rubinstein duality beyond Hausdorff and Kantorovich
- Representable \((\mathbb{T},\mathbf{V})\)-categories
- From quantale algebroids to topological spaces: fixed- and variable-basis approaches
- Lawvere completion and separation via closure
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)
