Partial morphisms in categories of effective objects

DOI10.1016/0890-5401(88)90010-7zbMath0655.18005OpenAlexW2025635372MaRDI QIDQ1109126

Eugenio Moggi

Publication date: 1988

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0890-5401(88)90010-7

zbMATH Keywords

Grothendieck topologyeffective morphismsgeneralized numbered setspartial cartesian closed categoryquasitopos of separated presheaves

Mathematics Subject Classification ID

Data structures (68P05) Special categories (18B99) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items (11)

The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus ⋮ Unitary Theories, Unitary Categories ⋮ Partial map classifiers and partial cartesian closed categories ⋮ Game theoretic analysis of call-by-value computation ⋮ An equational notion of lifting monad ⋮ Game-theoretic analysis of call-by-value computation ⋮ Recursion over realizability structures ⋮ Boolean restriction categories and taut monads ⋮ Introduction to Turing categories ⋮ HasCasl: integrated higher-order specification and program development ⋮ Classifying categories for partial equational logic

Cites Work

• Partiality, cartesian closedness, and toposes
• Recursion on the countable functionals
• Maximal and everywhere-defined functionals
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• The hereditary partial effective functionals and recursion theory in higher types
• Theorie der Numerierungen I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Partial morphisms in categories of effective objects