Categories of partial equivalence relations as localizations
From MaRDI portal
Publication:2699426
DOI10.1016/j.jpaa.2022.107115OpenAlexW2995464965MaRDI QIDQ2699426
Publication date: 26 April 2023
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1912.06726
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Triposes, q-toposes and toposes
- The category of equilogical spaces and the effective topos as homotopical quotients
- Realizability. An introduction to its categorical side
- Regular and exact completions
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
- Univalent polymorphism
- Quasicategories of frames of cofibration categories
- Elementary quotient completion
- Tripos theory in retrospect
- All realizability is relative
- Tripos theory
- The existential completion
- Abstract homotopy theory and generalized sheaf cohomology
- A notion of homotopy for the effective topos
