nLab
Equality in hyperdoctrines and comprehension schema as an adjoint functor

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)

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.