Anfonwch hwn fel neges destun: Sets, logic and categories