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

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.

[1]  Solomon Feferman,et al.  Set-Theoretical foundations of category theory , 1969 .

[2]  Pierangela Veneziani.  Graph-Based Upper Bounds for the Probability of the Union of Events , 2008, Electron. J. Comb..

[3]  Colin McLarty.  Axiomatizing a Category of Categories , 1991, J. Symb. Log..

[4]  S. Lane.  Categories for the Working Mathematician , 1971 .

[5]  Frank Harary,et al.  Graph Theory , 2016 .

[6]  Marianne Morillon,et al.  Spanning Graphs and the Axiom of Choice , 2006, Reports Math. Log..

[7]  F. W. Lawvere,et al.  The Category of Categories as a Foundation for Mathematics , 1966 .

[8]  Demitri Plessas.  The categories of graphs , 2011 .

[9]  S. Maclane,et al.  General theory of natural equivalences , 1945 .

[10]  R. Bumby,et al.  CATEGORICAL CONSTRUCTIONS IN GRAPH THEORY , 1986 .

[11]  Saunders Mac Lane,et al.  One universe as a foundation for category theory , 1969 .

[12]  Colin McLarty,et al.  Elementary categories, elementary toposes , 1992 .

[13]  Solomon Feferman,et al.  FOUNDATIONS OF UNLIMITED CATEGORY THEORY: WHAT REMAINS TO BE DONE , 2012, The Review of Symbolic Logic.

[14]  F. W. Lawvere,et al.  Diagonal arguments and cartesian closed categories , 1969 .

[15]  Edward R. Scheinerman.  Mathematics: A Discrete Introduction , 2000 .

[16]  Jean-Pierre Marquis,et al.  From a Geometrical Point of View, A Study of the History and Philosophy of Category Theory , 2008, Logic, Epistemology, and the Unity of Science.

[17]  F W Lawvere,et al.  AN ELEMENTARY THEORY OF THE CATEGORY OF SETS. , 1964, Proceedings of the National Academy of Sciences of the United States of America.

[18]  Colin McLarty.  Failure of Cartesian Closedness in NF , 1992, J. Symb. Log..

[19]  Ronald Brown,et al.  Graphs of Morphisms of Graphs , 2008, Electron. J. Comb..