TY  - RPRT
TI  - On the dependent product in toposes
AU  - Olivia Caramello
AU  - Riccardo Zanfa
PY  - 2019
UR  - https://arxiv.org/abs/1908.08488
ID  - 1908.08488
ER  -