Equality in hyperdoctrines and comprehension schema as an adjoint functor (1968)

by F William Lawvere
Venue:In Applications of Categorical Algebra (Proc. Sympos. Pure Math., Vol. XVII