Topology and category theory in computer science | lit.salon