Category theory and the foundations of mathematics: philosophical excavations.

DOI10.1007/BF01089735zbMath1058.00505WikidataQ115443695 ScholiaQ115443695MaRDI QIDQ1578766

Jean-Pierre Marquis

Publication date: 7 September 2000

Published in: Synthese (Search for Journal in Brave)

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Special categories (18B99)

Related Items

The role of symmetry in mathematics, Towards a unified framework for decomposability of processes, CATEGORICAL FOUNDATIONS OF MATHEMATICS OR HOW TO PROVIDE FOUNDATIONS FORABSTRACTMATHEMATICS, On Bourbaki's axiomatic system for set theory, On the Distinction Between Sets and Classes: A Categorical Perspective

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
• Topoi. The categorial analysis of logic. Rev. ed
• Hamiltonian paths in vertex-symmetric graphs of order 4p
• Russell's substitutional theory
• Sheaf models for set theory
• Mathematical intuition. Phenomenology and mathematical knowledge
• Nicolas Bourbaki and the concept of mathematical structure
• The ignorance of Bourbaki
• Logic, ontology, mathematical practice
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Are the traditional philosophies of mathematics really incompatible?
• Categorical set theory: A characterization of the category of sets
• Boolean topoi and the theory of sets
• La logique des topos
• The Uses and Abuses of the History of Topos Theory
• Fibered categories and the foundations of naive category theory
• Category Theory and the Foundations of Mathematics
• Accessible Categories: The Foundations of Categorical Model Theory
• Adjointness in Foundations
• On the Consistency Problem for Set Theory: An Essay on the Cantorian Foundations of Classical Mathematics (I)
• A categorical manifesto
• Mathematics as a Science of Patterns: Ontology and Reference
• Mathematics as a Science of Patterns: Epistemology