to Toposes, Triples and Theories, Available by anonymous FTP from triples.math.mcgill.ca in directory pub/barr (1993)

by Corrections