Categorical fixed point semantics

DOI10.1016/0304-3975(90)90154-AzbMath0751.18007OpenAlexW2083193305MaRDI QIDQ1813970

Philip S. Mulry

Publication date: 25 June 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(90)90154-a

zbMATH Keywords

fixed pointcartesian closed categoryeffective toposdinatural transformationeffective domainsmodest setscategories of Scott domainsenriched category over \(\omega\)-cpo'sordered natural number object

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Topoi (18B25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Natural morphisms, dinatural morphisms (18A23) Enriched categories (over closed or monoidal categories) (18D20)

Related Items

Equational properties of iteration in algebraically complete categories, The equational logic of fixed points, Fixed-point operations on ccc's. I, Monads and algebras in the semantics of partial data types, A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points, A characterization of the least-fixed-point operator by dinaturality, Tail recursion through universal invariants, Composing dinatural transformations: towards a calculus of substitution, On Compositionality of Dinatural Transformations, Fixed points in Cartesian closed categories

Cites Work

• Fixed points in Cartesian closed categories
• A categorial approach to the theory of computation
• Fixed-point constructions in order-enriched categories
• The Category-Theoretic Solution of Recursive Domain Equations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item