Feferman's Forays into the Foundations of Category Theory

Ali Enayat, Paul Gorbow, Zachiri McKenzie

This paper is primarily concerned with assessing a set-theoretical system, $S^{\ast }$, for the foundations of category theory suggested by Solomon Feferman. $S^{\ast }$ is an extension of NFU…