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. Along the way, we obtain a number of results of independent interest, including an expression for the operation of universal quantification on subobjects in terms of finite limits and power objects.
On the dependent product in toposes
Caramello O.
;Zanfa R.
2021-01-01
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. Along the way, we obtain a number of results of independent interest, including an expression for the operation of universal quantification on subobjects in terms of finite limits and power objects.File | Dimensione | Formato | |
---|---|---|---|
CaramelloZanfaDependentProductToposes.pdf
non disponibili
Tipologia:
Versione Editoriale (PDF)
Licenza:
DRM non definito
Dimensione
786.94 kB
Formato
Adobe PDF
|
786.94 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.