We give a description of the Tripos To Topos Construction in terms of the composition of four minor free constructions. Finally we discuss the relation to previous work by Carboni (Rend. Istit. Mat. Univ. Trieste 14(1-2), 1–16, 1982) and Frey (2011).
Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness / F. Pasquali. - In: APPLIED CATEGORICAL STRUCTURES. - ISSN 0927-2852. - 24:2(2016 Apr), pp. 105-119. [10.1007/s10485-014-9388-1]
Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness
F. Pasquali
2016
Abstract
We give a description of the Tripos To Topos Construction in terms of the composition of four minor free constructions. Finally we discuss the relation to previous work by Carboni (Rend. Istit. Mat. Univ. Trieste 14(1-2), 1–16, 1982) and Frey (2011).
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
s10485-014-9388-1.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Licenza:
Nessuna licenza
Dimensione
1.69 MB
Formato
Adobe PDF
|
1.69 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
