Category Theory and Computer Science: Edinburgh, UK, September 7-9, 1987 | Kaicus Deutschland