Pošalji tekstualnu poruku: Topology and category theory in computer science