Abstract
The constructions of fixpoints and while-loops in a category of domains can be derived from the colimit, loop(f) of a diagram which consists of a single endomorphism f : D → D. If f is increasing then the colimiting map is the least-fixpoint function Y and
the subobject of fixpoints. If f=cond(b, g, 1) is the conditional of a while-program then
the lifted sum of the terminating values (where b is false) and the infinite loops.
Supported by grants GR/E 78487 and GR/F 07866 from SERC, and OGPIN 016 from NSERC.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
F.W. Lawvere, Metric spaces, generalised logic, and closed categories, Rend. Sem. Mat. Fis. Milano 43 (1973) 135–166.
S. Mac Lane, Categories for the Working Mathematician (Springer-Verlag, 1971).
J. Meseguer, Completions, factorisations and colimits for ω-posets, in Mathematical Logic in Computer Science, Colloquia Mathematica Janos Bolyai, XXVI (Hungary, 1978) 509–545.
E. Moggi, Computational Lambda-Calculus and Monads, Proc. Fourth Annual Symp. on Logic in Computer Science (1989) 14–23.
M.B. Smyth & G.D. Plotkin, The category-theoretic solution of recursive domain equations, SIAM J. of Comp. 11 (1982) 761–783.
D.S. Scott, Data types as lattices, SIAM J. of Computing 5 (1976) 522–587.
R.H. Street, Limits indexed by category-valued 2-functors, J. Pure Appl. Alg. 8 (1976) 149–181.
Paul Taylor, An exact interpretation of while (I,II), manuscript.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag
About this paper
Cite this paper
Jay, C.B. (1991). Fixpoint and loop constructions as colimits. In: Carboni, A., Pedicchio, M.C., Rosolini, G. (eds) Category Theory. Lecture Notes in Mathematics, vol 1488. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0084220
Download citation
DOI: https://doi.org/10.1007/BFb0084220
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54706-8
Online ISBN: 978-3-540-46435-8
eBook Packages: Springer Book Archive