The Arché Papers on the Mathematics of Abstraction