Abstract
Categories may be viewed as deductive systems or as algebraic theories. We are primarily interested in the interplay between these two views and trace it through a number of structured categories and their internal languages, bearing in mind their relevance to the foundations of mathematics. We see this as a common thread running through the six contributions to this issue of Studia Logica.
Similar content being viewed by others
References
J. W. Cartmell, Generalized algebraic theories and contextual categories, Ph. D. Thesis, University of Oxford, 1978.
J. Lambek, On the unity of algebra and logic, in: F. Borceux (ed.), Categorical Algebra and its Applications, Proceedings, Louvain-la-Neuve 1987, Springer LNM 1348 (1988), pp. 221–229.
J. Lambek and P. J. Scott, Introduction to Higher Order Categorical Logic, Cambridge University Press, Cambridge, 1986.
P. Martin-Löf, Intuitionistic Type Theory, Studies in Proof Theory, Bibliopolis, Naples, 1984.
M. Pfender, R. Reiter and M. Sartorius, Constructive Arithmetics, Springer Lecture Notes in Mathematics 962 (1982), pp. 228–236.
L. Román, Cartesian categories with natural numbers object, Journal of Pure and Applied Algebra (1988), to appear.
L. Román, Categories with finite limits and natural numbers object, manuscript 1987.
R. Seely, Categorial semantics for higher order polymorphic lambda calculus, Journal of Symbolic logic 52 (1987), pp. 969–989.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Lambek, J. On some connections between logic and category theory. Stud Logica 48, 269–278 (1989). https://doi.org/10.1007/BF00370824
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370824