36] F.W. Lawvere, Equality in hyperdoctrines and comprehension schema as an adjoint functor (1969)

by F W Lawvere
Venue:Adjointness in Foundations, Dialectica 23