Model theory and topoi : a collection of lectures by various authors - Lawvere, F. W.,ed (Lecture notes in mathematics ; 445, 1975)