Skip to main content
SpringerLink
Log in
Book cover

Category Theory and Computer Programming pp 76–102Cite as

Algebra categorically

  • 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.A.Goguen, J.W.Thatcher, E.G.Wagner, J.B.Wright, An Introduction to Categories, Algebraic Theories and Algebras, Res.Rep. RC-5369, IBM Yorktown Heights 1975

    Google Scholar 

  2. J.A.Goguen, J.W.Thatcher, E.G.Wagner, J.B.Wright, Some Fundamentals of Order Algebraic semantics, Proc. MFCS'76, LNCS 45, 1976

    Google Scholar 

  3. J.A.Goguen, J.W.Thatcher, E.G.Wagner, J.B.Wright, A Uniform Approach to Inductive Posets and Inductive Closure, Proc. MFCS'77, LNCS 53, 1977, and TCS 7, 1978

    Google Scholar 

  4. J.Adamek, E.Nelson, J.Reiterman, Tree Constructions of Free Continuous Algebras, JCSS 24, 1982

    Google Scholar 

  5. K.Benecke, H.Reichel, Equational Partiality, Algebra Universalis 16, 1983

    Google Scholar 

  6. R.M.Burstall, B.Lampson, A Kernel Language for Abstract Data Types and Modules, Proc. Symp. on Semantics of Data Types, Sophia Antipolis, LNCS 173, 1984

    Google Scholar 

  7. AMBER, AT&T Bell Labs, Techn. Memo. 112671-840924-10TM, 1984

    Google Scholar 

  8. J.Cartmell, Generalised Algebraic Theories and Contextual categories, Journal of Pure and Apllied Logic, to appear

    Google Scholar 

  9. J.Cartmell, Generalised Algebraic Theories and Contextual categories, PhD Thesis, Oxford 1978

    Google Scholar 

  10. J.Cartmell, Formalizing the Network and Hierarchical Data Models — an Application of Categorical Logic, this volume

    Google Scholar 

  11. H.D.Ehrich, Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics, this volume

    Google Scholar 

  12. M.P.Fourman, S.J.Vickers, Theories as Categories, this volume

    Google Scholar 

  13. P.Freyd, Aspects of Topoi, Bull. Austral. Math. Soc. 7, 1972

    Google Scholar 

  14. P.Gabriel, F.Ulmer, Lokal präsentierbare Kategorien, LNiMath 221, 1971

    Google Scholar 

  15. J.A.Goguen, J.Meseguer, Completeness of Many-Sorted Equational Logic, ACM SIGPLAN Notices 16.7, 1981

    Google Scholar 

  16. M.Gordon, R.Milner, C.Wadsworth, Edinburgh LCF, LNCS 78, 1979

    Google Scholar 

  17. G.Grätzer, Universal Algebra, Princeton 1967

    Google Scholar 

  18. I.Guessarian, Algebraic Semantics, LNCS 99, 1981

    Google Scholar 

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

    Google Scholar 

  20. P.T.Johnstone, Topos Theory, Cambridge University Press 1977

    Google Scholar 

  21. G.M.Kelly, Basic Concepts of Enriched Category Theory, Cambridge University Press 1982

    Google Scholar 

  22. J.Lambek, P.Scott, Introduction to Higher Order Categorical Logic, Cambridge University Press 1986

    Google Scholar 

  23. F.W.Lawvere, Functorial Semantics of Algebraic Theories, Proc. Nat. Acad. Sci. USA, 1963

    Google Scholar 

  24. S.MacLane, Categories for the Working Mathematician, Springer Verlag 1971

    Google Scholar 

  25. M.Makkai, G.E.Reyes, First Order Categorical Logic, LNi Math 611, 1977

    Google Scholar 

  26. E.Manes, Algebraic Theories, Springer Verlag 1974

    Google Scholar 

  27. P.Martin-Löf, Constructive Mathematicvs and Computer Programming, Proc. 6th Int. Congress for Logic, Methodology and Philosophy of Sciences, North-Holland 1979

    Google Scholar 

  28. J.Meseguer, On Order-Complete Universal Algebra and Enriched Functorial Semantics, Proc. FCT'77, LNCS 56, 1977

    Google Scholar 

  29. J.Meseguer, Ideal Monads and Z-Posets, Manuscript, Berkeley, 1979

    Google Scholar 

  30. E.Nelson, Recent Results on Continuous Ordered Algebras, Proc. FCT'85, LNCS 199, 1985

    Google Scholar 

  31. The Category Theoretic Solution of Recursive Domain equations, SIAM J. Computing, 1983

    Google Scholar 

  32. H.Reichel, Behavioural Program Specification, this volume

    Google Scholar 

  33. G. Richter, Kategorielle Algebra, Studien zur Algebra und ihren Anwendungen, Akademie Verlag, Berlin 1979

    Google Scholar 

  34. R.A.G.Seely, Locally Cartesian Closed Categories and Type Theory, Math. Proc. Camb. Phil. Soc. 95, 1984

    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). Algebra categorically. 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_118

Download citation

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

  • 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