scientific article; zbMATH DE number 1770056

MaRDI QIDQ4540525zbMATH OpenFDO

Authors

Publication date 25 July 2002

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

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

axiom of comprehensionBeck's theoreminjective objectlocally compact spacesmonadic adjunctionnucleus of a localesubspace topologysubtypetyped lambda calculus

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Frames, locales (06D22) Stone spaces (Boolean spaces) and related structures (06E15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Abelian categories, Grothendieck categories (18E10) Categorical methods in general topology (54B30) Function spaces in general topology (54C35) Local compactness, (sigma)-compactness (54D45)

Recommendations

• Foundations for computable topology
• Local compactness and the Baire category theorem in abstract Stone duality
• scientific article; zbMATH DE number 1555466
• Inside every model of abstract Stone duality lies an arithmetic universe
• Computably Based Locally Compact Spaces

Cited in

(14)

• General non-commutative locally compact locally Hausdorff Stone duality
• Equilogical spaces and algebras for a double-power monad
• Sobriety for equilogical spaces
• Injectivity and sections
• Local compactness and the Baire category theorem in abstract Stone duality
• Inside every model of abstract Stone duality lies an arithmetic universe
• scientific article; zbMATH DE number 1555466 (Why is no real title available?)
• scientific article; zbMATH DE number 7471716 (Why is no real title available?)
• scientific article; zbMATH DE number 7577568 (Why is no real title available?)
• Uniform envelopes
• Frames and topological algebras for a double-power monad
• Canonical automata via distributive law homomorphisms
• Machine space. I: Weak exponentials and quantification over compact spaces
• The space of Stone representation and construction of extensions

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 Q4540525)