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