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.
Version on publisher website for UU-students and staff
Version on publisher website
 
Author keywords: Tripos theory, Categorical logic
DOI:
ISSN: 0927-2852
(Peer reviewed)
 
 
See more statistics about this item