Fixed points in Cartesian closed categories
DOI10.1016/0304-3975(90)90152-8zbMATH Open0717.18004OpenAlexW2026298965MaRDI QIDQ753945FDOQ753945
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
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
domain theorynatural numbers objectleast fixed point\(\omega \) -complete partial order\(\omega \) -continuous endomorphismcartesian closed category
Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55)
Cites Work
Cited In (10)
- Categorical fixed point semantics
- The equational logic of fixed points
- A categorical construction of Bachmann–Howard fixed points
- A note on inconsistencies caused by fixpoints in a cartesian closed category
- Fixpoint objects need not be \(\Omega \)-discrete
- Algebraically compact functors
- Fixed-point operations on ccc's. I
- SOME EQUATIONAL LAWS OF INITIALITY IN 2CCC’S
- Fixed Points of Functors - A Short Abstract
- A characterization of the least-fixed-point operator by dinaturality
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)
