You are about to access our book library "Category Theory and Computer Science: Edinburgh, UK, September 7-9, 1987. Proceedings full version" .