On the dependent product in toposes. - Olivia Caramello; Riccardo Zanfa (Math. Log. Q., 2021)