Categorical Algebra And Its Applications: Proceedings of a Conference, Held in Louvain-la-Neuve, Belgium, July 26 - August 1, 1987