On the greatest fixed point of a set functor
- 1 October 1995
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 150 (1) , 57-75
- https://doi.org/10.1016/0304-3975(95)00011-k
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Terminal coalgebras in well-founded set theoryTheoretical Computer Science, 1993
- The Category-Theoretic Solution of Recursive Domain EquationsSIAM Journal on Computing, 1982
- Completions of Partially Ordered SetsSIAM Journal on Computing, 1982
- Least fixed point of a functorJournal of Computer and System Sciences, 1979
- Categorical constructions of Free Algebras, colimits, and completions of partial AlgebrasJournal of Pure and Applied Algebra, 1979
- A fixpoint theorem for complete categoriesMathematische Zeitschrift, 1968