Similar content being viewed by others
References
Carboni, A., Vitale, E.M.: Regular and exact completions. J. Pure Appl. Algebra 125, 79–116 (1998)
Carboni, A.: Nonstandard analysis and topoi. Rend. Istit. Mat. Univ. Trieste 14(1-2), 1–16 (1982)
Frey, J.: A 2-categorical analysis of the tripos-to-topos construction. arXiv:1104.2776 (2011)
Grothendieck, A.: Revêtements étales et groupe fondamental (SGA 1), volume 224 of Lecture notes in mathematics. Springer-Verlag (1971)
Higgs, D.: A category approach to boolean-valued set theory (1973)
Hyland, J.M.E.: The effective topos In: The L.E.J. Brouwer Centenary Symposium (Noordwijkerhout, 1981), volume 110 of Stud. Logic Foundations Math., pp. 165–216. North-Holland, Amsterdam-New York (1982)
Hyland, J.M.E., Johnstone, P.T., Pitts. A.M.: Tripos theory. Math. Proc. Camb. Phil. Soc. 88, 205–232 (1980)
Jacobs, B.: Categorical Logic and Type Theory, volume 141 of Studies in Logic and the foundations of mathematics. North-Holland Publishing Co. (1999)
Scott, D.S., Fourman, M.P.: Sheaves and logic In: Applications of Sheaves, volume 753 of Application of sheaves, pp. 302–401 (1979)
Maietti, M.E., Rosolini, G.: Elementary quotient completion. Theory Appl. Categ. 27, 445–463 (2013)
Maietti, M.E., Rosolini, G.: Quotient completion for the foundation of costructive mathematics. Log. Univers. 7(3), 371–402 (2013)
Pitts, A.M.: The Theory of Triposes. University of Cambridge, PhD thesis (1981)
Pitts, A.M.: Tripos theory in retrospect. Math. Struct. in Comp. Sci. 12, 265–279 (2002)
Taylor, P.: Practical foundations of mathematics, volume 59 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (1999)
van Oosten, J.: Realizability: An Introduction to its Categorical Side, volume 152 of Studies in Logic and the foundations of mathematics. North-Holland Publishing Co. (2008)
Author information
Authors and Affiliations
Corresponding author
Additional information
Part of the research in this paper was carried out while the author worked at Utrecht University in the NWO-Project ‘The Model Theory of Constructive Proofs’ nr. 613.001.007.
Rights and permissions
About this article
Cite this article
Pasquali, F. Remarks on the Tripos To Topos Construction: Comprehension, Extensionality, Quotients and Functional-Completeness. Appl Categor Struct 24, 105–119 (2016). https://doi.org/10.1007/s10485-014-9388-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-014-9388-1