Seol mar théacs é seo: The Arch Papers on the Mathematics of Abstraction