Logic in Category Theory

  • Alberto Peruzzi
Part of the The Western Ontario Series in Philosophy of Science book series (WONS, volume 75)


Logic already spanned a great range of topics before the birth of categorical logic. Some celebrated results achieved in logic during the first half of the twentieth century are milestones in the understanding of mathematical relations between syntactic, semantic and algorithmic aspects of the structure of language and reasoning. Logical tools have been exploited in a variety of applications: from linguistics to computer science, from methodology of science to specific physical theories. The very formulation of questions and answers concerning the foundations of mathematics relies on such tools. Finally, mathematical logic has altered the face of philosophy. In view of such outcomes, it is all the more appropriate to consider the impact of categorical methods on logic, since they affect the study of proofs and models, by forging a stricter relationship between a theory and its models, and by enlarging the range of possible models beyond the universe of sets in a way that leads to a substantial refinement of the status ascribed to logic itself.


Category Theory Intuitionistic Logic Left Adjoint Indispensability Argument Categorical Logic 
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.


  1. Artin, M., Grothendieck, A., and Verdier, J. L. (1972). Séminaire de Géometrie Algébrique, IV: Théorie des Topos et Cohomologie Étale des Schemas (1964). Lecture Notes in Mathematics volumes 269, 270, 305. Springer, Berlin.Google Scholar
  2. Asperti, A. and Longo, G. (1991). Categories, Types and Structures. MIT Press, Cambridge, MA.Google Scholar
  3. Bell, J. L. (1986). From absolute to local mathematics. Synthese, 69:409–426.CrossRefGoogle Scholar
  4. Bell, J. L. (1988). Toposes and Local Set Theories: An Introduction. Clarendon Press, Oxford.Google Scholar
  5. Bell, J. L. (1993). Hilbert’s ε-operator and classical logic. Journal of Philosophical Logic, 22:1–18.CrossRefGoogle Scholar
  6. Bell, J. L. (1996). Logical reflections on the Kochen-Specker theorem. In Clifton, R., editor, Perspectives on Quantum Reality, pages 227–235. Kluwer, Amsterdam.Google Scholar
  7. Bell, J. L. (1998). A Primer of Infinitesimal Analysis. Cambridge University Press, Cambdrige.Google Scholar
  8. Bell, J. L. (2005). The development of categorical logic. In Gabbay, D. and Guenthner, F., editors, Handbook of Philosophical Logic, volume 12, pages 279–361. Springer, New York, NY.Google Scholar
  9. Bell, J. L. (2006). Cover schemes, frame-valued sets and their potential uses in space-time physics. In Reimer, A., editor, Spacetime Physics Research Trends. Horizons in World Physics, volume 248. Nova Science, New York, NY.Google Scholar
  10. Benabou, J. (1985). Fibred categories and the foundations of naive category theory. Journal of Symbolic Logic, 50:10–37.CrossRefGoogle Scholar
  11. Boileau, A. and Joyal, A. (1981). La logique de topos. Journal of Symbolic Logic, 46:6–16.CrossRefGoogle Scholar
  12. Borceux, F. (1994). Handbook of Categorical Algebra. Cambridge University Press, Cambdrige.CrossRefGoogle Scholar
  13. Cartier, P. (2001). A mad day’s work: From Grothendieck to Connes and Kontsevich. The evolution of concepts of space and symmetry. Bulletin of the American Mathematical Society (New Series), 38(4):389–408.CrossRefGoogle Scholar
  14. Dummett, M. (1975). The philosophical basis of intuitionistic logic. In Rose, H. and Sheperdson, J., editors, Logic Colloquium ’73, pages 5–40. North-Holland, Amsterdam. Reprinted in Truth and Other Enigmas, Duckworth, 1978, pp. 215–247.CrossRefGoogle Scholar
  15. Eilenberg, S. and Mac Lane, S. (1945). General theory of natural equivalences. Transactions of the American Mathematical Society, 58:231–294. Reprinted in S. Eilenberg and S. Mac Lane, Collected Works. Academic Press, New York, NY, 1986.Google Scholar
  16. Fourman, M., Mulvey, C., and Scott, D., editors (1979). Applications of Sheaves. Proceedings of the London Mathematical Society Durham Symposium 1977, volume 753 of Lecture Notes in Mathematics. Springer, Berlin.Google Scholar
  17. Fourman, M. and Scott, D. (1979). Sheaves and logic. In Fourman, M., Mulvey, C., and Scott, D., editors, Applications of Sheaves, pages 302–401. Springer, Berlin.CrossRefGoogle Scholar
  18. Fourman, M. (1977). The logic of topoi. In Barwise, J., editor, Handbook of Mathematical Logic, pages 1053–1090. North-Holland, Amsterdam.CrossRefGoogle Scholar
  19. Freyd, P. and Scedrov, A. (1990). Categories, Allegories. North-Holland, Amsterdam.Google Scholar
  20. Freyd, P. (1972). Aspects of topoi. Bulletin of the Australian Mathematical Society, 7:1–76, 467–480.CrossRefGoogle Scholar
  21. Girard, J.-Y. (2004). Logique à Rome. Università di Roma Tre, Roma.Google Scholar
  22. Goldblatt, R. (1979). Topoi: The Categorial Analysis of Logic. North-Holland, Amsterdam. Revised edition, 1984.Google Scholar
  23. Grothendieck, A. and Dieudonné, J. (1971). Éléments de géometrie algébrique I, volume 166 of Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. Springer, Berlin.Google Scholar
  24. Grothendieck, A. (1970). Catégories fibrés et descente (1960/61), volume 224 of Lecture Notes in Mathematics. Springer, Berlin.Google Scholar
  25. Hatcher, W. (1968). Foundations of Mathematics. WB Saunders, Philadelphia, PA.Google Scholar
  26. Hyland, M. (1982). The effective topos. In Troelstra, A. and van Dalen, D., editors, The L.E.J. Brouwer Centenary Symposium, pages 162–217. North-Holland, Amsterdam.Google Scholar
  27. Jacobs, B. (1999). Categorical Logic and Type Theory. Elsevier, Amsterdam.Google Scholar
  28. Johnstone, P. (1977). Topos Theory, volume 10 of London Mathematical Society Monographs. Academic Press, New York, NY.Google Scholar
  29. Johnstone, P. (1982). Stone Spaces. Cambridge University Press, Cambridge.Google Scholar
  30. Johnstone, P. (2002). Sketches of an Elephant. A Topos Theory Compendium. Clarendon Press, Oxford.Google Scholar
  31. Kan, D. (1958). Adjoint functors. Transactions of the American Mathematical Society, 87: 294–329.CrossRefGoogle Scholar
  32. Kock, A. and Reyes, G. (1977). Doctrines in categorical logic. In Barwise, J., editor, Handbook of Mathematical Logic, pages 284–313. North-Holland, Amsterdam.Google Scholar
  33. Lambek, J. and Scott, P. (1986). Introduction to Higher-Order Categorical Logic. Cambridge University Press, Cambridge.Google Scholar
  34. Lambek, J. (1968). Deductive systems and categories I. Journal of Mathematical Systems Theory, 2:278–318.Google Scholar
  35. Lawvere, F. W., Maurer, C., and eds., G. W. (1975). Model Theory and Topoi, volume 445 of Lecture Notes in Mathematics. Springer, Berlin.Google Scholar
  36. Lawvere, F. W. and Rosebrugh, R. (2003). Sets for Mathematics. Cambridge University Press, Cambridge.CrossRefGoogle Scholar
  37. Lawvere, F. W. (1963). Functorial semantics of algebraic theories. PhD thesis, Columbia University, New York, NY.Google Scholar
  38. Lawvere, F. W. (1964). An elementary theory of the category of sets. Proceedings of the National Academy of Sciences USA, 52:1506–1511.CrossRefGoogle Scholar
  39. Lawvere, F. W. (1966). The category of categories as a foundation for mathematics. In Eilenberg, S., Harrison, D., Mac Lane, S., and Röhrl, H., editors, Proceedings of the Conference on Categorical Algebra, La Jolla, pages 1–21. Springer, Berlin.Google Scholar
  40. Lawvere, F. W. (1968). Diagonal arguments and cartesian closed categories. In Category Theory, Homology Theory and their Applications, II, volume 92 of Lecture Notes in Mathematics, pages 134–145. Reprinted in Theory and Applications of Category Theory, No.15 (2006), pp. 1–13. Springer, Berlin.Google Scholar
  41. Lawvere, F. W. (1969). Adjointness in foundations. Dialectica, 23:281–295.CrossRefGoogle Scholar
  42. Lawvere, F. W. (1971). Quantifiers and sheaves. In Actes du Congrès International des Mathématiciens, volume 1, pages 329–334. Gauthier-Villars, Paris.Google Scholar
  43. Lawvere, F. W., editor (1972). Toposes, Algebraic Geometry and Logic, volume 274 of Lecture Notes in Mathematics. Springer, Berlin.Google Scholar
  44. Lawvere, F. W. (1973). Teoria delle Categorie sopra un Topos di Base. Universitá di Perugia, Perugia.Google Scholar
  45. Lawvere, F. W. (1975). Continuously variable sets: algebraic geometry = geometric logic. In Rose, H. and Sheperdson, J., editors, Logic Colloquium ’73, pages 135– 153. North Holland, Amsterdam.CrossRefGoogle Scholar
  46. MacIntyre, A. (1973). Model-completeness for sheaves of structures. Fundamenta Mathematicae, 81:73–89.Google Scholar
  47. Macnamara, J. and Reyes, G., editors (1994). The Logical Foundations of Cognition. Oxford University Pres, New York, NY.Google Scholar
  48. Mac Lane, S. and Moerdijk, I. (1992). Sheaves in Geometry and Logic: a First Introduction to Topos Theory. Springer, New York, NY.Google Scholar
  49. Mac Lane, S. (1935). A logical analysis of mathematical structures. The Monist, 45:118–130.Google Scholar
  50. Mac Lane, S. (1986). Mathematics: Form and Function. Springer, Berlin.Google Scholar
  51. Mac Lane, S. (1997). Despite physicists, proof is essential to mathematics. Synthese, 111:147–154.CrossRefGoogle Scholar
  52. Makkai, M. and Paré, R. (1989). Accessible Categories: the Foundations of Categorical Model Theory, volume 104 of Contemporary Mathematics. American Mathematical Society, Providence, RI.Google Scholar
  53. Makkai, M. and Reyes, G. (1977). First Order Categorical Logic. Springer, Berlin.Google Scholar
  54. Makkai, M. (1987). Stone duality for first order logic. Advances in Mathematics, 65:97–170.CrossRefGoogle Scholar
  55. Mangione, C. (1976). Logica e teoria delle categorie. In Geymonat, L., editor, Storia del Pensiero Filosofico e Scientifico, volume 7, pages 519–653. Garzanti, Milano.Google Scholar
  56. Mayberry, J. (1994). What is required of a foundation for mathematics? Philosophia Mathematica, 2:16–35.CrossRefGoogle Scholar
  57. McLarty, C. (1992). Elementary Categories, Elementary Toposes. Clarendon Press, Oxford.Google Scholar
  58. McLarty, C. (2005). Saunders Mac Lane (1909–2005). His mathematical life and philosophical works. Philosophia Mathematica, 13:237–251.CrossRefGoogle Scholar
  59. Mitchell, W. (1972). Boolean topoi and the theory of sets. Journal of Pure and Applied Algebra, 2:261–274.CrossRefGoogle Scholar
  60. Moore, E. (1908). On a form of general analysis with application to linear differential and integral equations. In Atti del IV Congresso Internazionale dei Matematici, pages 98–114. Accademia dei Lincei, Roma.Google Scholar
  61. Osius, G. (1974). The internal and external aspects of logic and set theory in elementary topoi. Cahiers de Topologie et Géométrie Différentielle, 15:157–180.Google Scholar
  62. Peruzzi, A. (1991a). Categories and logic. In Usberti, G., editor, Problemi Fondazionali nella Teoria del Significato, pages 137–211. Olschki, Firenze.Google Scholar
  63. Peruzzi, A. (1991b). Meaning and truth: the ILEG project. In Wolf, E., Nencioni, G., and Tscherdanzeva, H., editors, Semantics and Translation, pages 53–59. Moscow Academy of Sciences, Moscow.Google Scholar
  64. Peruzzi, A. (1994). On the logical meaning of precategories.
  65. Peruzzi, A. (2000a). Anterior future. Rendiconti del Circolo Matematico di Palermo, 64:227–248.Google Scholar
  66. Peruzzi, A. (2000b). The geometric roots of semantics. In Albertazzi, L., editor, Meaning and Cognition, pages 169–201. John Benjamins, Amsterdam.Google Scholar
  67. Pitts, A. (2001). Categorical logic. In Abramsky, S., Gabbay, D. M., and Maibaum, T. S. E., editors, Handbook of Logic in Computer Science, volume 5, Logic and algebraic methods, pages 39–123. Oxford University Press, Oxford.Google Scholar
  68. Rasiowa, H. and Sikorski, R. (1963). The Mathematics of Metamathematics. Polish Scientific Publishers, Warsaw.Google Scholar
  69. Reyes, G. (1974). From sheaves to logic. In Daigneault, A., editor, Studies in Algebraic Logic, volume 9 of MAA Studies in Mathematics, pages 143–204. The Mathematical Association of America, Providence, RI.Google Scholar
  70. Seely, R. (1984). Locally cartesian closed categories and type theory. Mathematical Proceedings of the Cambridge Philosophical Society, 95:33–48.CrossRefGoogle Scholar
  71. Seely, R. (1987). Modelling computations: A 2–categorical framework. In Proceedings of the Second Symposium on Logic in Computer Science, pages 61–71. IEEE Computer Science Press, Trier.Google Scholar
  72. Troelstra, A. S. and van Dalen, D. (1988). Constructivism in Mathematics: An Introduction, volume 1–2. North-Holland, Amsterdam.Google Scholar
  73. Vickers, S. (1988). Topology via Logic. Cambridge University Press, Cambridge.Google Scholar
  74. Yanofsky, N. (2003). A universal approach to self-referential paradoxes, incompleteness and fixed points. arXiv:math.LO/0305282 v1. May 19.Google Scholar
  75. Zangwill, J. (1977). Local set theory and topoi. MSc thesis, Bristol University, Bristol.Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2011

Authors and Affiliations

  1. 1.Department of Theoretical PhilosophyUniversity of FlorenceFlorenceItaly

Personalised recommendations