On the dependent product in toposes
Category Theory
2019-08-23 v1
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.
Cite
@article{arxiv.1908.08488,
title = {On the dependent product in toposes},
author = {Olivia Caramello and Riccardo Zanfa},
journal= {arXiv preprint arXiv:1908.08488},
year = {2019}
}
Comments
18 pages