Fixed points in Cartesian closed categories

DOI10.1016/0304-3975(90)90152-8MaRDI QIDQ753945zbMATH OpenOpenAlexFDO

Authors Michael Barr

Publication date 1990

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

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

zbMATH Keywords

\(\omega \) -complete partial order\(\omega \) -continuous endomorphismcartesian closed categorydomain theoryleast fixed pointnatural numbers object

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)

Review text

The author studies one aspect of domain theory in the setting of a cartesian closed category with finite limits and a natural numbers object. A notion of \(\omega\)-complete partial order in such a category is defined as well as notions of increasing sequences and an object of sup- preserving morphisms. There is shown that in such a setting an \(\omega\)- complete partial order with bottom has as fixed point operator in the sense of a mapping from the object of sup-preserving endomorphisms to the object itself that realizes the least fixed point.

Recommendations

• A note on inconsistencies caused by fixpoints in a cartesian closed category
• Cartesian closed stable categories
• Categorical fixed point calculus
• Least fixpoints of endofunctors of cartesian closed categories
• Cartesian closed algebraic categories
• scientific article; zbMATH DE number 4083878
• scientific article; zbMATH DE number 48416
• scientific article; zbMATH DE number 4108981
• scientific article; zbMATH DE number 940753
• Fixed point in CAT(0) spaces

Cites work

• ABOUT MODEST SETS
• Categorical fixed point semantics
• scientific article; zbMATH DE number 3882404 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4061468 (Why is no real title available?)

Cited in

(12)

• Algebraically compact functors
• The equational logic of fixed points
• Categorical fixed point semantics
• Fixpoint objects need not be -discrete
• scientific article; zbMATH DE number 8773 (Why is no real title available?)
• scientific article; zbMATH DE number 19489 (Why is no real title available?)
• SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC’S
• A categorical construction of Bachmann–Howard fixed points
• Fixed Points of Functors - A Short Abstract
• Fixed-point operations on ccc's. I
• A characterization of the least-fixed-point operator by dinaturality
• A note on inconsistencies caused by fixpoints in a cartesian closed category

This page was built for publication: Fixed points in Cartesian closed categories

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