Triposes as a generalization of localic geometric morphisms

DOI10.1017/S0960129520000304zbMath1490.18002arXiv2005.06019OpenAlexW3126205664MaRDI QIDQ5084312

Thomas Streicher, Jonas Frey

Publication date: 24 June 2022

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2005.06019

zbMATH Keywords

toposesfibered categoriestriposes

Mathematics Subject Classification ID

Topoi (18B25)

Related Items (1)

Internal sums for synthetic fibered \((\infty,1)\)-categories

Cites Work

• Unnamed Item
• Realizability. An introduction to its categorical side
• Tripos theory in retrospect
• Tripos theory
• Implicative algebras: a new foundation for realizability and forcing

This page was built for publication: Triposes as a generalization of localic geometric morphisms