Advertisement

Algebra categorically

  • Axel Poigné
Part I Tutorials
Part of the Lecture Notes in Computer Science book series (LNCS, volume 240)

Keywords

Natural Transformation Algebraic Theory Finite Product Finite Limit Partial Algebra 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ADJ 75]
    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 1975Google Scholar
  2. [ADJ 76]
    J.A.Goguen, J.W.Thatcher, E.G.Wagner, J.B.Wright, Some Fundamentals of Order Algebraic semantics, Proc. MFCS'76, LNCS 45, 1976Google Scholar
  3. [ADJ 78]
    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, 1978Google Scholar
  4. [ANR 82]
    J.Adamek, E.Nelson, J.Reiterman, Tree Constructions of Free Continuous Algebras, JCSS 24, 1982Google Scholar
  5. [Benecke-Reichel 83]
    K.Benecke, H.Reichel, Equational Partiality, Algebra Universalis 16, 1983Google Scholar
  6. [Burstall-Lamport 84]
    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, 1984Google Scholar
  7. [Cardelli 84]
    AMBER, AT&T Bell Labs, Techn. Memo. 112671-840924-10TM, 1984Google Scholar
  8. [Cartmell]
    J.Cartmell, Generalised Algebraic Theories and Contextual categories, Journal of Pure and Apllied Logic, to appearGoogle Scholar
  9. [Cartmell 78]
    J.Cartmell, Generalised Algebraic Theories and Contextual categories, PhD Thesis, Oxford 1978Google Scholar
  10. [Cartmell 86]
    J.Cartmell, Formalizing the Network and Hierarchical Data Models — an Application of Categorical Logic, this volumeGoogle Scholar
  11. [Ehrich 86]
    H.D.Ehrich, Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics, this volumeGoogle Scholar
  12. [Fourman-Vickers 86]
    M.P.Fourman, S.J.Vickers, Theories as Categories, this volumeGoogle Scholar
  13. [Freyd 72]
    P.Freyd, Aspects of Topoi, Bull. Austral. Math. Soc. 7, 1972Google Scholar
  14. [Gabriel-Ulmer 71]
    P.Gabriel, F.Ulmer, Lokal präsentierbare Kategorien, LNiMath 221, 1971Google Scholar
  15. [Goguen-Meseguer 81]
    J.A.Goguen, J.Meseguer, Completeness of Many-Sorted Equational Logic, ACM SIGPLAN Notices 16.7, 1981Google Scholar
  16. [Gordon]
    M.Gordon, R.Milner, C.Wadsworth, Edinburgh LCF, LNCS 78, 1979Google Scholar
  17. [Grätzer 67]
    G.Grätzer, Universal Algebra, Princeton 1967Google Scholar
  18. [Guessarian 81]
    I.Guessarian, Algebraic Semantics, LNCS 99, 1981Google Scholar
  19. [Herrlich-Strecker 73]
    H.Herrlich, G.E.Strecker, Category Theory, Allyn and Bacon, 1973Google Scholar
  20. [Johnstone 77]
    P.T.Johnstone, Topos Theory, Cambridge University Press 1977Google Scholar
  21. [Kelly 82]
    G.M.Kelly, Basic Concepts of Enriched Category Theory, Cambridge University Press 1982Google Scholar
  22. [Lambeck-Scott 86]
    J.Lambek, P.Scott, Introduction to Higher Order Categorical Logic, Cambridge University Press 1986Google Scholar
  23. [Lawvere 63]
    F.W.Lawvere, Functorial Semantics of Algebraic Theories, Proc. Nat. Acad. Sci. USA, 1963Google Scholar
  24. [MacLane 71]
    S.MacLane, Categories for the Working Mathematician, Springer Verlag 1971Google Scholar
  25. [Makkai-Reyes 77]
    M.Makkai, G.E.Reyes, First Order Categorical Logic, LNi Math 611, 1977Google Scholar
  26. [Manes 74]
    E.Manes, Algebraic Theories, Springer Verlag 1974Google Scholar
  27. [Martin-Löf 79]
    P.Martin-Löf, Constructive Mathematicvs and Computer Programming, Proc. 6th Int. Congress for Logic, Methodology and Philosophy of Sciences, North-Holland 1979Google Scholar
  28. [Meseguer 77]
    J.Meseguer, On Order-Complete Universal Algebra and Enriched Functorial Semantics, Proc. FCT'77, LNCS 56, 1977Google Scholar
  29. [Meseguer 79]
    J.Meseguer, Ideal Monads and Z-Posets, Manuscript, Berkeley, 1979Google Scholar
  30. [Nelson 85]
    E.Nelson, Recent Results on Continuous Ordered Algebras, Proc. FCT'85, LNCS 199, 1985Google Scholar
  31. [Plotkin-Smyth 83]
    The Category Theoretic Solution of Recursive Domain equations, SIAM J. Computing, 1983Google Scholar
  32. [Reichel 86]
    H.Reichel, Behavioural Program Specification, this volumeGoogle Scholar
  33. [Richter 79]
    G. Richter, Kategorielle Algebra, Studien zur Algebra und ihren Anwendungen, Akademie Verlag, Berlin 1979Google Scholar
  34. [Seely 84]
    R.A.G.Seely, Locally Cartesian Closed Categories and Type Theory, Math. Proc. Camb. Phil. Soc. 95, 1984Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Axel Poigné

There are no affiliations available

Personalised recommendations