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

domain theorynatural numbers objectleast fixed point\(\omega \) -complete partial order\(\omega \) -continuous endomorphismcartesian closed category

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

• 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

• 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?)
• ABOUT MODEST SETS
• Categorical fixed point semantics

Cited in

(10)

• Fixpoint objects need not be \(\Omega \)-discrete
• Fixed Points of Functors - A Short Abstract
• A note on inconsistencies caused by fixpoints in a cartesian closed category
• A categorical construction of Bachmann–Howard fixed points
• The equational logic of fixed points
• A characterization of the least-fixed-point operator by dinaturality
• Algebraically compact functors
• Fixed-point operations on ccc's. I
• Categorical fixed point semantics
• SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC’S

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)