A characterization of the least-fixed-point operator by dinaturality

DOI10.1016/0304-3975(93)90112-7MaRDI QIDQ685386zbMATH OpenOpenAlexFDO

Authors Alex Simpson

Publication date 17 October 1993

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

Full work available at URL https://doi.org/10.1016/0304-3975(93)90112-7

zbMATH Keywords

Cartesian closed categoriesdomain theoryalgebraic domainscontinuous domainscategory of domainscontinuous cposfixpoint operators

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55)

Recommendations

• Publication:4206923
• Fixed points in Cartesian closed categories
• Categorical fixed point semantics
• scientific article; zbMATH DE number 431768
• Least fixpoints of endofunctors of cartesian closed categories

Cites work

• scientific article; zbMATH DE number 48416 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 555217 (Why is no real title available?)
• Cartesian closed categories of algebraic cpos
• Categorical fixed point semantics
• Functorial polymorphism
• The largest Cartesian closed category of domains

Cited in

(14)

• On Compositionality of Dinatural Transformations
• scientific article; zbMATH DE number 1670485 (Why is no real title available?)
• Fixpoint operators for domain equations
• G-dinaturality.
• Feedback for linearly distributive categories: Traces and fixpoints
• Continuously generated fixed points
• Equational properties of iteration in algebraically complete categories
• The equational logic of fixed points
• Composing dinatural transformations: towards a calculus of substitution
• scientific article; zbMATH DE number 431768 (Why is no real title available?)
• Unique, guarded fixed points in an additive setting: extended abstract
• Fixed-point operations on ccc's. I
• On traced monoidal closed categories
• scientific article; zbMATH DE number 4127475 (Why is no real title available?)

This page was built for publication: A characterization of the least-fixed-point operator by dinaturality

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