TU Darmstadt / ULB / TUprints

Reyes’ Topos of Reference and Modality from a fibrational Perspective

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

[img]
Preview
Text
Doat_Masterthesis_final.pdf
Copyright Information: CC BY 4.0 International - Creative Commons, Attribution.

Download (996kB) | Preview
Item Type: Master Thesis
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
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 > Logic
Date Deposited: 25 Oct 2021 12:02
Last Modified: 19 Sep 2022 10:04
URI: https://tuprints.ulb.tu-darmstadt.de/id/eprint/19501
PPN: 487412060
Export:
Actions (login required)
View Item View Item