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.
2021
2021
Caramello, O.; Zanfa, R.
File in questo prodotto:
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11383/2131284
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact