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

This page collects material related to the article

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

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

(pdf)

on hyperdoctrines and comprehension in terms of base change adjoint functors.

category: reference

Last revised on July 15, 2017 at 05:54:37. See the history of this page for a list of all contributions to it.