This is a preview of subscription content, log in via an institution to check access.
References
J. Benabou, Categories avec multiplication,C. R. Acad. Sci. Paris 256 (1963), 1887–1890.
N. Bourbaki,Algèbre Multilinéaire, Hermann, Paris, 1948.
H. B. Curry andR. Feys,Combinatory Logic, Vol. 1, Amsterdam, North-Holland Publ. Comp., 1958.
S. Eilenberg andG. M. Kelly, Closed categories, Proc. Conference Categorical Algebra, LaJolla 1965, pp. 421–562, Springer-Verlag, New York, 1966.
S. Eilenberg andJ. C. Moore, Adjoint functors and triples,Illinois J. Math. 9 (1966), 381–398.
G. D. Findlay andJ. Lambek, Calculus of Bimodules, unpublished manuscript, 1955.
S. C. Kleene,Introduction to Metamathematics Van Nostrand, New York, 1952.
J. Lambek, The mathematics of sentence structure,Amer. Math. Monthly 65 (1958), 154–169.
J. Lambek, On the calculus of syntactic types,Amer. Math. Soc., Proc. Symposia Appl. Math.,12 (1961), 166–178.
S. MacLane, Natural associativity and commutativity,Rice University Studies 49 (1963), No. 4., 28–46.
Author information
Authors and Affiliations
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
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
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01703261