Workshop"Category Theory, Computer Science and Topology"