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.
William Lawvere, Adjointness in Foundations, Dialectica 23 (1969), 281-296 (TAC)
Joachim Lambek, The Influence of Heraclitus on Modern Mathematics, In Scientific Philosophy Today: Essays in Honor of Mario Bunge, edited by Joseph Agassi and Robert S Cohen, 111–21. Boston: D. Reidel Publishing Co. (1981)
Last revised on July 15, 2017 at 05:54:37. See the history of this page for a list of all contributions to it.