nLab Equality in hyperdoctrines and comprehension schema as an adjoint functor

Related articles

This page collects material related to the article

  • William Lawvere,

    Equality in hyperdoctrines and comprehension schema as an adjoint functor,

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

    pdf

    GoogleBooks

on hyperdoctrines and comprehension in terms of base change adjoint functors (and on the Beck-Chevalley condition).

category: reference

Last revised on August 7, 2022 at 15:26:00. See the history of this page for a list of all contributions to it.