Categorical fixed point semantics

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

Philip S. Mulry

Publication date: 25 June 1992

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

zbMATH Keywords

fixed point; cartesian closed category; effective topos; dinatural transformation; effective domains; modest sets; categories of Scott domains; enriched category over \(\omega\)-cpo's; ordered natural number object

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

18B25: Topoi

18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)

18A23: Natural morphisms, dinatural morphisms

18D20: Enriched categories (over closed or monoidal categories)

Related Items

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

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