Remarks on the Tripos To Topos Construction: comprehension, extensionality, quotients and functional-completeness

DSpace/Manakin Repository

Remarks on the Tripos To Topos Construction: comprehension, extensionality, quotients and functional-completeness
 
Pasquali, Fabio
(2016) Applied Categorical Structures, volume 24, issue 2, pp. 105 - 119
(Article)
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).
Download/Full Text
An Open Access version of this item is not available due to the copyright policy of the publisher.
 
Keywords: Tripos theory, Categorical logic
DOI: https://doi.org/10.1007/s10485-014-9388-1
ISSN: 0927-2852
Publisher: Springer Netherlands
(Peer reviewed)
 
 
See more statistics about this item