Skip to main content
SpringerLink
Log in
Book cover

Category Theory and Computer Programming pp 16–42Cite as

Elements of categorical reasoning : Products and coproducts and some other (co-)limits

  • Part I Tutorials
  • Chapter
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 240))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.Adamek, V.Koubek, Least Fixed Point of a Functor, JCSS 19, 1979

    Google Scholar 

  2. J.Backus, Can Programming be Liberated from the von Neumann Style?, CACM 21, 1978

    Google Scholar 

  3. R.M. Burstall, J.A.Goguen, Semantics of CLEAR, A Specification Language, Abstract Software Specifications, D.Bjorner (ed.), Proc. 1979 Copenhagen Winter School, LNCS 86, 1980

    Google Scholar 

  4. H.-D.Ehrich, On the Theory of Specification, Implementation and Parameterization of Abstract Data Types, JACM 29, 1982

    Google Scholar 

  5. H.Ehrig, Introduction to the Algebraic Theory of Graph Grammars, Proc. Workshop on Graph Grammars and Their Applications to Computer Science and Biology, LNCS 73, 1979

    Google Scholar 

  6. H.Ehrig, B.Mahr, Fundamentals of Algebraic Specification I, Springer Verlag 1985

    Google Scholar 

  7. H.Ehrig, H.-J.Kreowski, J.W.Thatcher, E.G.Wagner, J.B.Wright, Parameter Passing in Algebraic Specification Language, TCS 33, 1984

    Google Scholar 

  8. J.A.Goguen, J.Meseguer, EQLOG: Equality, Types, and Generic Modules for Logic Programming, In: Functional and Logic Programming, ed. DeGroot and Lindstrom, Prentice Hall 1985

    Google Scholar 

  9. H.Herrlich, G.E.Strecker, Category Theory, Allyn and Bacon 1973

    Google Scholar 

  10. H.Huwig, A.Poigné, On Inconsistencies Caused by Fixpoints in a Cartesian Closed Category, Techn. Ber. 216, Abt. Informatik, Universität Dortmund, 1986

    Google Scholar 

  11. P.T.Johnstone, Stone Spaces, Cambridge University Press 1982

    Google Scholar 

  12. S.MacLane, Categories for the Working Mathematician, Springer Graduate Texts in Mathematics 1971

    Google Scholar 

  13. M.B.Smyth, G.D.Plotkin, The Category-Theoretic Solution of Recursive Domain Equations, Proc. 18th FOCS, 1977, full paper: SIAM Journal on Control 1983

    Google Scholar 

  14. D.S.Scott, Continuous lattices, In: F.W.Lawvere (ed.), Toposes, Algebraic Geometry and Logic, LNi Math 274, 1972

    Google Scholar 

  15. D.S.Scott, Relating Theories of Lambda Calculus, In To H.B.Curry: Essays on Combinatoiry Logic, Lambda-Calculus and Formalism, ed. J.P.Seldin and J.R.Hindley, Academic Press 1980

    Google Scholar 

Download references

Authors
  1. Axel Poigné
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

David Pitt Samson Abramsky Axel Poigné David Rydeheard

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Poigné, A. (1986). Elements of categorical reasoning : Products and coproducts and some other (co-)limits. 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_114

Download citation

  • DOI: https://doi.org/10.1007/3-540-17162-2_114

  • 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

Publish with us

Policies and ethics

Search

Navigation