Least fixed point of a functor
- 31 October 1979
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 19 (2) , 163-178
- https://doi.org/10.1016/0022-0000(79)90026-6
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- The Category-Theoretic Solution of Recursive Domain EquationsSIAM Journal on Computing, 1982
- Categorical constructions of Free Algebras, colimits, and completions of partial AlgebrasJournal of Pure and Applied Algebra, 1979
- Realization theory for automata in categoriesJournal of Pure and Applied Algebra, 1977
- Machines in a Category: An Expository IntroductionSIAM Review, 1974
- A fixpoint theorem for complete categoriesMathematische Zeitschrift, 1968