scientific article; zbMATH DE number 1770055

MaRDI QIDQ4540524zbMATH OpenFDO

Authors

Publication date 25 July 2002

Full work available at URL https://eudml.org/doc/122423, 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

continuation passing stylegeneral recursive functionKleisli categorylocalelocally compact spacelocally quasi-compact spaceobservable typepredicate transformerpremonoidal categoryprime filterprime lambda termschizophrenic objectSierpinski spacesober lambda calculusStone dualitystrong monadtheory of descriptions

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30) Frames, locales (06D22) Stone spaces (Boolean spaces) and related structures (06E15) Eilenberg-Moore and Kleisli constructions for monads (18C20) Categorical semantics of formal languages (18C50) Topological spaces and generalizations (closure spaces, etc.) (54A05) Function spaces in general topology (54C35) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Local compactness, (sigma)-compactness (54D45) Semantics in the theory of computing (68Q55)

Recommendations

• Sobriety for equilogical spaces
• Countably sober spaces
• Sobriety in terms of nets
• scientific article; zbMATH DE number 500347
• Sober approach spaces

Cited in

(14)

• A universal characterization of the double powerlocale
• Sobriety in terms of nets
• Equilogical spaces and algebras for a double-power monad
• Countably sober spaces
• Sobriety for equilogical spaces
• Compactness in locales and in formal topology
• Local compactness and the Baire category theorem in abstract Stone duality
• scientific article; zbMATH DE number 500347 (Why is no real title available?)
• \(T_0\) convergence approach spaces
• Frames and topological algebras for a double-power monad
• Relational parametricity for control considered as a computational effect
• On some results related to sober spaces
• Topological spaces versus frames in the topos of \(M\)-sets
• Probability monads with submonads of deterministic states

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