Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness

DOI10.1007/S10485-014-9388-1zbMath1345.18001OpenAlexW648958772MaRDI QIDQ263883

Fabio Pasquali

Publication date: 5 April 2016

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: http://dspace.library.uu.nl/handle/1874/371404

zbMATH Keywords

categorical logictripos theory

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25)

Related Items (2)

On a generalization of equilogical spaces ⋮ A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quotient completion for the foundation of constructive mathematics
• Regular and exact completions
• Séminaire de géométrie algébrique du Bois Marie 1960/61 (SGA 1), dirigé par Alexander Grothendieck. Augmenté de deux exposés de M. Raynaud. Revêtements étales et groupe fondamental. Exposés I à XIII. (Seminar on algebraic geometry at Bois Marie 1960/61 (SGA 1), directed by Alexander Grothendieck. Enlarged by two reports of M. Raynaud. Ètale coverings and fundamental group)
• Elementary quotient completion
• Tripos theory in retrospect
• Tripos theory

This page was built for publication: Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness