On the dependent product in toposes
arXiv:1908.08488
Abstract
We give an explicit construction of the dependent product in an elementary topos, and a site-theoretic description for it in the case of a Grothendieck topos.
18 pages
arXiv:1908.08488
We give an explicit construction of the dependent product in an elementary topos, and a site-theoretic description for it in the case of a Grothendieck topos.
18 pages