Sheaf toposes for realizability (Q938241)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sheaf toposes for realizability |
scientific article |
Statements
Sheaf toposes for realizability (English)
0 references
18 August 2008
0 references
This paper compares realizability models over partial combinatory algebras by embedding them into sheaf toposes. Then the authors use the machinery of Grothendieck toposes and geometric morphisms to study the relationship between realizability models over different partial combinatory algebras.
0 references
realizability models
0 references
partial combinatory algebras
0 references
sheaf toposes
0 references
Grothendieck toposes
0 references
geometric morphisms
0 references
