Categories for the Neologicist
Shay Allen Logan · Philosophia Mathematica · 2016
Abstraction principles provide implicit definitions of mathematical objects. In this paper, an abstraction principle defining categories is proposed. It is unsatisfiable and inconsistent in the expected ways. Two restricted versions of the principle which are consistent are presented.