Doat, Joël André (2021)
Reyes’ Topos of Reference and Modality from a fibrational Perspective.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00019501
Master Thesis, Primary publication, Publisher's Version
URL / URN: https://tuprints.ulb.tu-darmstadt.de/19501
Abstract
This thesis is a reworked version of Reyes’ topos-theoretic approach to reference and modality. His theory provides the semantics for modal higher-order theory language using the image of the base topos in a geometric morphism. Additionally, by following Streicher's recap on fibered categories, this "geometric model" can be grounded on a more logical structure.
| Item Type: | Master Thesis |
|---|---|
| Erschienen: | 2021 |
| Creators: | Doat, Joël André |
| Type of entry: | Primary publication |
| Title: | Reyes’ Topos of Reference and Modality from a fibrational Perspective |
| Language: | English |
| Date: | 2021 |
| Place of Publication: | Darmstadt |
| Collation: | 54 Seiten |
| DOI: | 10.26083/tuprints-00019501 |
| URL / URN: | https://tuprints.ulb.tu-darmstadt.de/19501 |
| Abstract: | This thesis is a reworked version of Reyes’ topos-theoretic approach to reference and modality. His theory provides the semantics for modal higher-order theory language using the image of the base topos in a geometric morphism. Additionally, by following Streicher's recap on fibered categories, this "geometric model" can be grounded on a more logical structure. |
| Status: | Publisher's Version |
| URN: | urn:nbn:de:tuda-tuprints-195011 |
| Classification DDC: | 500 Science and mathematics > 510 Mathematics |
| Divisions: | 04 Department of Mathematics 04 Department of Mathematics > Logic |
| Date Deposited: | 25 Oct 2021 12:02 |
| Last Modified: | 26 Oct 2021 06:17 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum