Seol mar théacs é seo: The arché papers on the mathematics of abstraction /