Fixed points in Cartesian closed categories

DOI10.1016/0304-3975(90)90152-8zbMath0717.18004OpenAlexW2026298965MaRDI QIDQ753945

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 theorycartesian closed categorynatural numbers objectleast fixed point\(\omega \) -complete partial order\(\omega \) -continuous endomorphism

Mathematics Subject Classification ID

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

Related Items (3)

The equational logic of fixed points ⋮ Algebraically compact functors ⋮ Categorical fixed point semantics

Cites Work

• Categorical fixed point semantics
• ABOUT MODEST SETS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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