THE PROSPECTS OF UNLIMITED CATEGORY THEORY: DOING WHAT REMAINS TO BE DONE

被引：6

作者：

Ernst, Michael ^{[1
]}

机构：

[1] Univ Illinois, Dept Philosophy, Champaign, IL 61801 USA

来源：

REVIEW OF SYMBOLIC LOGIC | 2015年 / 8卷 / 02期

关键词：

D O I：

10.1017/S1755020314000495

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

The big question at the end of Feferman (2013) is: Is it possible to find a foundation for unlimited category theory? I show that the answer is no by showing that unlimited category theory is inconsistent.

引用

页码：306 / 327

页数：22

共 21 条

[1]

[Anonymous], LECT NOTES MATH

[2]

[Anonymous], 2008, ELECTRON J COMB

[3]

Bumby RichardT., 1986, International Journal of Mathematics and Mathematical Sciences, V9, P1, DOI DOI 10.1155/S0161171286000017

[4]

Delhomme C., 2006, Rep. Math. Logic, V40, P165

[5] GENERAL THEORY OF NATURAL EQUIVALENCES [J].

EILENBERG, S ;

MACLANE, S .

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1945, 58 (SEP) :231-294

[6]

FEFERMAN S, 1969, LECT NOTES MATH, V106, P201

[7] FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE [J].

Feferman, Solomon .

REVIEW OF SYMBOLIC LOGIC, 2013, 6 (01) :6-15

[8]

Harary F., 1969, Graph Theory

[9]

Kromer R, 2007, LECT NOTES MATH

[10]

Lawvere F.W., 1966, P C CATEGORICAL ALGE, P1

← 1 2 3 →