# nLab Equality in hyperdoctrines and comprehension schema as an adjoint functor

Related articles

• Equality in hyperdoctrines and comprehension schema as an adjoint functor,

Proceedings of the AMS Symposium on Pure Mathematics XVII (1970), 1-14.

pdf