Skip to main content
SpringerLink
Log in

Deductive systems and categories

I. Syntactic Calculus and Residuated Categories

  • Published:
Mathematical systems theory Aims and scope Submit manuscript

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

References

  1. J. Benabou, Categories avec multiplication,C. R. Acad. Sci. Paris 256 (1963), 1887–1890.

    Google Scholar 

  2. N. Bourbaki,Algèbre Multilinéaire, Hermann, Paris, 1948.

    Google Scholar 

  3. H. B. Curry andR. Feys,Combinatory Logic, Vol. 1, Amsterdam, North-Holland Publ. Comp., 1958.

    Google Scholar 

  4. S. Eilenberg andG. M. Kelly, Closed categories, Proc. Conference Categorical Algebra, LaJolla 1965, pp. 421–562, Springer-Verlag, New York, 1966.

    Google Scholar 

  5. S. Eilenberg andJ. C. Moore, Adjoint functors and triples,Illinois J. Math. 9 (1966), 381–398.

    Google Scholar 

  6. G. D. Findlay andJ. Lambek, Calculus of Bimodules, unpublished manuscript, 1955.

  7. S. C. Kleene,Introduction to Metamathematics Van Nostrand, New York, 1952.

    Google Scholar 

  8. J. Lambek, The mathematics of sentence structure,Amer. Math. Monthly 65 (1958), 154–169.

    Google Scholar 

  9. J. Lambek, On the calculus of syntactic types,Amer. Math. Soc., Proc. Symposia Appl. Math.,12 (1961), 166–178.

    Google Scholar 

  10. S. MacLane, Natural associativity and commutativity,Rice University Studies 49 (1963), No. 4., 28–46.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. McGill University, Montreal, Canada

    Joachim Lambek

Authors
  1. Joachim Lambek
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Part of this work was done while the author was a member of the Mathematical Research Institute of the E. T. H. in Zürich in 1966.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lambek, J. Deductive systems and categories. Math. Systems Theory 2, 287–318 (1968). https://doi.org/10.1007/BF01703261

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01703261

Keywords

Search

Navigation