Anfonwch hwn fel neges destun: Topology and category theory in computer science