Logic in Category Theory

DOI10.1007/978-94-007-0214-1_15zbMath1255.03061OpenAlexW53007941MaRDI QIDQ2909761

Alberto Peruzzi

Publication date: 6 September 2012

Published in: The Western Ontario Series in Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-0214-1_15

zbMATH Keywords

dualityfunctorcategory theorycategorical logicadjoints

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Categorical logic, topoi (03G30) History of mathematical logic and foundations (03-03) History of category theory (18-03) Foundations, relations to logic and deductive systems (18A15)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Stone duality for first order logic
• Topoi. The categorial analysis of logic
• Constructivism in mathematics. An introduction. Volume II
• Sheaves in geometry and logic: a first introduction to topos theory
• Hilbert's \(\varepsilon{}\)-operator and classical logic
• Model theory and topoi. A collection of lectures by various authors
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977
• Categorical logic and type theory
• Despite physicists, proof is essential in mathematics
• Toposes, algebraic geometry and logic. Dalhousie University, Halifax, January 16-19, 1971
• Boolean topoi and the theory of sets
• A mad day’s work: from Grothendieck to Connes and Kontsevich The evolution of concepts of space and symmetry
• Adjoint Functors
• Locally cartesian closed categories and type theory
• La logique des topos
• Saunders Mac Lane (1909-2005): His Mathematical Life and Philosophical Works
• Fibered categories and the foundations of naive category theory
• Accessible Categories: The Foundations of Categorical Model Theory
• Model-completeness for sheaves of structures
• Adjointness in Foundations
• What is Required of a Foundation for Mathematics?
• A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points
• AN ELEMENTARY THEORY OF THE CATEGORY OF SETS
• Deductive systems and categories
• Aspects of topoi
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• General Theory of Natural Equivalences