MoL-2026-19: Wehmeier, Max (2026) Towards a Joyal-Tierney Theorem for Arrow Algebras. [Report]
Preview |
Text
MoL-2026-19.text.pdf - Accepted Version Download (478kB) | Preview |
Abstract
The Joyal-Tierney theorem states that morphisms into a given locale are equivalent to internal locales of its sheaf topos. This is useful in the study of topoi and can even be used in algebraic topology. Since arrow algebras generalize locales, we wanted to see if this theorem also holds for them. In this thesis, we will look at different approaches of defining the internalization functor for arrow algebras, which gives one direction of the Joyal-Tierney theorem. These approaches have varying degrees of maturity and we will discuss their strengths and weaknesses.
On the way to these results, we will also go on a journey through categorical logic with a special focus on our main tool: triposes. We will explore the tripos to topos construction and some characterizations in it. In particular, we will look at assemblies and proto-assemblies to define the evolution functor.
| Item Type: | Report |
|---|---|
| Report Nr: | MoL-2026-19 |
| Series Name: | Master of Logic Thesis (MoL) Series |
| Year: | 2026 |
| Subjects: | Logic Mathematics |
| Depositing User: | Dr Marco Vervoort |
| Date Deposited: | 29 Oct 2026 15:16 |
| Last Modified: | 29 Oct 2026 15:16 |
| URI: | https://eprints.illc.uva.nl/id/eprint/2455 |
Actions (login required)
 |
View Item |
