Observationally-induced effects in Cartesian closed categories

DOI10.1016/J.ENTCS.2012.08.004MaRDI QIDQ3178272zbMATH OpenOpenAlexWikidataFDO

Authors Ingo Battenfeld

Publication date 8 July 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2012.08.004

zbMATH Keywords

computational effectsdenotational semanticspowerdomainstopological domain theory

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Topological spaces and generalizations (closure spaces, etc.) (54A05) Categorical methods in general topology (54B30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Observationally-induced effect monads: upper and lower powerspace constructions
• Observationally-induced lower and upper powerspace constructions
• Observationally-induced algebras in domain theory
• Observationally-induced algebras in domain theory
• Algebraic operations and generic effects

Cites work

• A convenient category of domains
• A universal characterization of the double powerlocale
• Combining algebraic effects with continuations
• Compactly generated domain theory
• Computational effects and operations: an overview
• Computational effects in topological domain theory
• scientific article; zbMATH DE number 19486 (Why is no real title available?)
• Notions of computation and monads
• Observationally-induced effect monads: upper and lower powerspace constructions
• Probabilistic observations and valuations (extended abstract)
• Quotients of countably based spaces are not closed under sobrification

Cited in

(6)

• Non-deterministic effects in a realizability model
• Observationally-induced algebras in domain theory
• Computational effects in topological domain theory
• Observationally-induced algebras in domain theory
• Observationally-induced effect monads: upper and lower powerspace constructions
• Cartesian effect categories are Freyd-categories

This page was built for publication: Observationally-induced effects in Cartesian closed categories

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