Seol mar théacs é seo: Topology and category theory in computer science