Molecular toposes (1980)

by M Barr, R Paré
Venue:J. Pure Appl. Algebra