The Arché Papers on the Mathematics of Abstraction - Cook, Roy T. (Springer, 2017)