scientific article; zbMATH DE number 1555466

MaRDI QIDQ4525542zbMATH OpenFDO

Authors

Publication date 8 February 2001

Full work available at URL https://eudml.org/doc/121233, http://www.emis.de/journals/TAC/#vol7

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

compact Hausdorff spacescontravariant powersetelementary toposEuclidean principlehigher order logicslocally compact spacesmonadic adjunctionopen mapsopen spacesovert spacespretoposproper mapsquantifierssubobject classifiersynthetic domain theory

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Categorical logic, topoi (03G30) Frames, locales (06D22) Stone spaces (Boolean spaces) and related structures (06E15) Foundations, relations to logic and deductive systems (18A15) Categories of sets, characterizations (18B05) Preorders, orders, domains and lattices (viewed as categories) (18B35) Eilenberg-Moore and Kleisli constructions for monads (18C20) Topological spaces and generalizations (closure spaces, etc.) (54A05) Special maps on topological spaces (open, closed, perfect, etc.) (54C10) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Compactness (54D30) Local compactness, (sigma)-compactness (54D45)

Recommendations

• Foundations for computable topology
• scientific article; zbMATH DE number 1537947
• scientific article; zbMATH DE number 1770056
• Topologies and free constructions
• Inside every model of abstract Stone duality lies an arithmetic universe

Cited in

(17)

• An equational notion of lifting monad
• Factorizing the \(\mathbf{Top}\)-\(\mathbf{Loc}\) adjunction through positive topologies
• Sobriety for equilogical spaces
• Continuity and geometric logic
• Local compactness and the Baire category theorem in abstract Stone duality
• Inside every model of abstract Stone duality lies an arithmetic universe
• The Dedekind reals in abstract Stone duality
• scientific article; zbMATH DE number 1537947 (Why is no real title available?)
• scientific article; zbMATH DE number 1770056 (Why is no real title available?)
• Frames and topological algebras for a double-power monad
• Foundations for computable topology
• A Hofmann-Mislove theorem for bitopological spaces
• Overlap Algebras as Almost Discrete Locales
• The patch construction is dual to algebraic DCPO representation
• Metric spaces in synthetic topology
• An axiomatic account of weak triquotient assignments in locale theory
• A Hofmann-Mislove theorem for bitopological spaces

This page was built for publication:

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