On the dependent product in toposes

Olivia Caramello,Riccardo Zanfa

On the dependent product in toposes

2021

Olivia Caramello
Riccardo Zanfa

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.

Keywords:

Topos theory
Pure mathematics
Mathematics
Product (mathematics)

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations