Regular functors and relative realisability categories
From MaRDI portal
Publication:5400856
DOI10.1017/S0960129512000990zbMath1323.18002arXiv1106.4121OpenAlexW2167775437MaRDI QIDQ5400856
Publication date: 12 March 2014
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1106.4121
Topoi (18B25) Categories admitting limits (complete categories), functors preserving limits, completions (18A35)
Related Items (1)
Cites Work
- Unnamed Item
- Realizability. An introduction to its categorical side
- Regular and exact completions
- More exact completions that are toposes
- Relative and modified relative realizability
- Relative completions
- Some free constructions in realizability and proof theory
- Constructive logic and the Medvedev lattice
- Colimit completions and the effective topos
- All realizability is relative
- Tripos theory
- Ordered partial combinatory algebras
This page was built for publication: Regular functors and relative realisability categories