Logic in Category Theory
From MaRDI portal
Publication:2909761
DOI10.1007/978-94-007-0214-1_15zbMath1255.03061OpenAlexW53007941MaRDI QIDQ2909761
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
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
