Feferman's Forays into the Foundations of Category Theory - Ali Enayat; Paul Gorbow; Zachiri McKenzie (2016)