The Arché papers on the mathematics of abstraction
scientific article; zbMATH DE number 5549657