Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2404.17923 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929329918705664 |
|---|---|
| author | Gambarte, Luis Petrakis, Iosif |
| author_facet | Gambarte, Luis Petrakis, Iosif |
| contents | Translating notions and results from category theory to the theory of computability models of Longley and Normann, we introduce the Grothendieck computability model and the first-projection-simulation. We prove some basic properties of the Grothendieck computability model, and we show that the category of computability models is a type-category, in the sense of Pitts. We introduce the notion of a fibration and opfibration-simulation, and we show that the first-projection-simulation is a split opfibration-simulation. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_17923 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | The Grothendieck computability model Gambarte, Luis Petrakis, Iosif Category Theory Translating notions and results from category theory to the theory of computability models of Longley and Normann, we introduce the Grothendieck computability model and the first-projection-simulation. We prove some basic properties of the Grothendieck computability model, and we show that the category of computability models is a type-category, in the sense of Pitts. We introduce the notion of a fibration and opfibration-simulation, and we show that the first-projection-simulation is a split opfibration-simulation. |
| title | The Grothendieck computability model |
| topic | Category Theory |
| url | https://arxiv.org/abs/2404.17923 |