Conference: Category Theory and Computer Science (CTCS)