“...Conference on Category Theory and Computer Science Manchester, Anglie)...”