Category theory and the foundations of mathematics: philosophical excavations.
type: Item
instance of: scholarly article
title: Category theory and the foundations of mathematics: philosophical excavations.
zbMATH Open document ID: 1058.00505
DOI: 10.1007/BF01089735
author: Jean-Pierre Marquis
published in: Synthese
publication date: 2000-09-07T00:00:00Z
Mathematics Subject Classification ID: 00A30
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 18B99
zbMATH DE Number: 1503475
Wikidata QID: Q115443695
MaRDI profile type: Publication
cites work: Q3682648
cites work: Q3997112
cites work: Q3679172
cites work: Category Theory and the Foundations of Mathematics
cites work: Q4039735
cites work: Fibered categories and the foundations of naive category theory
cites work: Q3344336
cites work: La logique des topos
cites work: Q3999489
cites work: Nicolas Bourbaki and the concept of mathematical structure
cites work: Q5682108
cites work: Q5614681
cites work: Q4185007
cites work: Sheaf models for set theory
cites work: A categorical manifesto
cites work: Q3332238
cites work: Q4723263
cites work: Topoi. The categorial analysis of logic. Rev. ed
cites work: Q5275445
cites work: Q4195061
cites work: Q4143433
cites work: Q4739887
cites work: Russell's substitutional theory
cites work: Q3783260
cites work: Q3669333
cites work: Q4132201
cites work: Are the traditional philosophies of mathematics really incompatible?
cites work: Q5586435
cites work: Adjointness in Foundations
cites work: Q5612495
cites work: Q5639839
cites work: The Uses and Abuses of the History of Topos Theory
cites work: Accessible Categories: The Foundations of Categorical Model Theory
cites work: First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
cites work: The ignorance of Bourbaki
cites work: On the Consistency Problem for Set Theory: An Essay on the Cantorian Foundations of Classical Mathematics (I)
cites work: Boolean topoi and the theory of sets
cites work: Q3997818
cites work: Categorical set theory: A characterization of the category of sets
cites work: Hamiltonian paths in vertex-symmetric graphs of order 4p
cites work: Mathematics as a Science of Patterns: Ontology and Reference
cites work: Mathematics as a Science of Patterns: Epistemology
cites work: Q3240585
cites work: Q4135685
cites work: Logic, ontology, mathematical practice
cites work: Mathematical intuition. Phenomenology and mathematical knowledge
cites work: Q3216621
description: scientific article; zbMATH DE number 1503475