Doat, Joël André (2021)
Reyes’ Topos of Reference and Modality from a fibrational Perspective.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00019501
Masterarbeit, Erstveröffentlichung, Verlagsversion
URL / URN: https://tuprints.ulb.tu-darmstadt.de/19501
Kurzbeschreibung (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.
| Typ des Eintrags: | Masterarbeit |
|---|---|
| Erschienen: | 2021 |
| Autor(en): | Doat, Joël André |
| Art des Eintrags: | Erstveröffentlichung |
| Titel: | Reyes’ Topos of Reference and Modality from a fibrational Perspective |
| Sprache: | Englisch |
| Publikationsjahr: | 2021 |
| Ort: | Darmstadt |
| Kollation: | 54 Seiten |
| DOI: | 10.26083/tuprints-00019501 |
| URL / URN: | https://tuprints.ulb.tu-darmstadt.de/19501 |
| Kurzbeschreibung (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: | Verlagsversion |
| URN: | urn:nbn:de:tuda-tuprints-195011 |
| Sachgruppe der Dewey Dezimalklassifikatin (DDC): | 500 Naturwissenschaften und Mathematik > 510 Mathematik |
| Fachbereich(e)/-gebiet(e): | 04 Fachbereich Mathematik 04 Fachbereich Mathematik > Logik |
| Hinterlegungsdatum: | 25 Okt 2021 12:02 |
| Letzte Änderung: | 26 Okt 2021 06:17 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum