Category theory. Applications to algebra, logic and topology : Proceedings of the internat. conf., Gummersbach, July 6 - 10, 1981 - Bentley, H. L. (Lecture notes in mathematics, 1982)