Preview
Unable to display preview. Download preview PDF.
References
Arbib M. and Manes E. (1974) Machines in a Category: An Expository Introduction. SIAM Review, Vol. 16 no. 2.
Arbib M. and Manes E. (1975) Arrows, Structures and Functors. Academic Press.
Birkhoff G. (1938) Structure of Abstract Algebras. Proc. Cambridge Phil. Soc. 31. pp 433–454.
Burstall R.M. (1980) Electronic Category Theory. Proc. Ninth Annual Symposium on the Mathematical Foundations of Computer Science. Rydzyua, Poland.
Burstall R.M. and Landin P.J. (1969) Programs and Their Proofs: An Algebraic Approach. Machine Intelligence 4. Edinburgh Univ. Press. pp 17–44.
Burstall R.M. and Rydeheard D.E. (1986) Computational Category Theory. Draft Book.
Cohn P.M. (1966) Universal Algebra. Harper and Row, New York-Evanston-London.
Eilenberg S. and Moore J.C. (1965) Adjoint Functors and Triples. Illinois J. Math. 9. pp 381–398.
Goguen J.A. (1973) Realisation is Universal. Math. Sys. Theory 6. pp 359–374.
Goguen J.A. and Meseguer J. (1986) Semantics of Computation. Draft Book.
Goguen J.A., Thatcher J.W. and Wagner E.G. (1978) An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types. Current Trends in Prog. Methodology IV, Data Structuring. Prentice Hall. pp 80–149.
Goguen J.A., Thatcher J.W., Wagner E.G. and Wright J. (1975) Abstract Data Types as Initial Algebras and the Correctness of Data Representations. In ‘Computer Graphics, Pattern Recognition and Data Structure’ pp 89–93. IEEE Press.
Goldblatt R. (1979) Topoi—The categorial analysis of logic. Studies in Logic and the Foundations of Mathematics. Vol 98. North-Holland.
Herrlich H. and Strecker G.E. (1973) Category Theory. Allyn and Bacon.
Kan D.M. (1958) Adjoint Functors. Trans Amer. Math. Soc. 87. pp 294–329.
Mac Lane S. (1948) Groups, Categories and Duality. Proc. Nat. Academy of Science. USA. 34. pp 263–267.
Mac Lane S. (1965) Categorical Algebra. Bull. Amer. Math. Soc. 71. pp 40–106.
Mac Lane S. (1971) Categories for the Working Mathematician. Springer-Verlag, New York.
Manes E.G. (1976) Algebraic Theories. Springer-Verlag, New York.
Milner R. (1978) A theory of type polymorphism in programming. J. Comp. Sys. Sci. 17, 3. pp. 348–375.
Milner R. (1984) A Proposal for Standard ML. Proc. A.C.M. Symp. on LISP and Functional Programming.
Rydeheard. D.E. and Burstall R.M. (1985) The Unification of Terms: A Category-theoretic Algorithm. Internal Report UMCS-85-8-1 Dept. Comp. Sci. University of Manchester.
Rydeheard D.E. and Burstall R.M. (1985) Monads and Theories—A Survey for Computation. In Algebraic Methods in Semantics (Chapter 16) Eds. Nivat and Reynolds. Cambridge University Press.
Schubert H. (1972) Categories. Springer-Verlag.
Wand M. (1979) Final Algebra Semantics and Data Type Extensions. JCSS 19. pp 27–44.
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Rydeheard, D.E. (1986). Adjunctions. In: Pitt, D., Abramsky, S., Poigné, A., Rydeheard, D. (eds) Category Theory and Computer Programming. Lecture Notes in Computer Science, vol 240. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-17162-2_116
Download citation
DOI: https://doi.org/10.1007/3-540-17162-2_116
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17162-1
Online ISBN: 978-3-540-47213-1
eBook Packages: Springer Book Archive