Category theory: The language of mathematics

被引:12
作者
Landry, E [1 ]
机构
[1] McGill Univ, Dept Philosophy, Montreal, PQ H3A 2T7, Canada
关键词
D O I
10.1086/392712
中图分类号
N09 [自然科学史]; B [哲学、宗教];
学科分类号
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要
In this paper I argue that category theory ought to be seen as providing the language for mathematical discourse. Against foundational approaches, I argue that there is no need to reduce either the content or structure of mathematical concepts and theories to the constituents of either the universe of sets or the category of categories. I assign category theory the role of organizing,what we say about the content and structure of both mathematical concepts and theories. Insofar, then, as the structuralist sees mathematics as talking about structures and their morphology, I contend that category theory furnishes a framework for mathematical structuralism.
引用
收藏
页码:S14 / S27
页数:14
相关论文
共 12 条
[1]   CATEGORY THEORY AND THE FOUNDATIONS OF MATHEMATICS [J].
BELL, JL .
BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1981, 32 (04) :349-358
[2]   ARE THE TRADITIONAL PHILOSOPHIES OF MATHEMATICS REALLY INCOMPATIBLE [J].
LAMBEK, J .
MATHEMATICAL INTELLIGENCER, 1994, 16 (01) :56-62
[3]  
Lambek Joachim, 1989, INTRO HIGHER ORDER C
[4]  
Lawvere F. W., 1966, P C CAT ALG SPRING, P1
[5]  
Mac Lane S., 1971, AXIOMATIC SET THEORY, V13, P231
[6]  
Mac Lane S., 1968, CONT PHILOS SURVEY, VI, P286
[7]  
MACLANE S, 1992, GRUNDL KOMM, P3
[8]   CONSISTENCY PROBLEM FOR SET-THEORY - ESSAY ON CANTORIAN FOUNDATIONS OF CLASSICAL MATHEMATICS .1. [J].
MAYBERRY, J .
BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1977, 28 (01) :1-34
[9]  
MAYBERRY J, 1990, PHILOS MATH, V2, P16
[10]   THE USES AND ABUSES OF THE HISTORY OF TOPOS THEORY [J].
MCLARTY, C .
BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 1990, 41 (03) :351-375