1. F.W. LAWVERE-An elementary theory of the category of sets, Proc. Nat. Acad. Sci. U.S.A., 52(1964), p. 1506–1511.
2. — An elementary theory of the category of sets, notes polycopiées, 43 pages, Université de Chicago, 1964.
3. — Adjointness in foundations, Dialectica, 23(1969), p. 281–296.
4. — Equality in hyperdoctrines and comprehension schema as an adjoint functor, Symposia Pure Maths., vol. XVII, Amer. Math. Soc., 1970, p. 1–14.
5. — Quantifiers and sheaves, Actes du Congrès Intern. des Math., Nice, 1970, vol. I, p. 329–334.