A logical study of some 2-categorical aspects of topos theory

Hazratpour, Sina (2019). A logical study of some 2-categorical aspects of topos theory. University of Birmingham. Ph.D.

This is the latest version of this item.

Text - Accepted Version
Available under License Creative Commons Attribution Non-commercial Share Alike.

Download (2MB) | Preview


There are two well-known topos-theoretic models of point-free generalized spaces: the original Grothendieck toposes (relative to classical sets), and a relativized version (relative to a chosen elementary topos \( S \) with a natural number object) in which the generalized spaces are the bounded geometric morphisms from an elementary topos \( E \) to \( S \), and they form a 2-category \( BTop/S \). However, often it is not clear what a preferred choice for the base \( S \) should be.

In this work, we review and further investigate a third model of generalized spaces, based on the 2-category \( Con \) of ‘contexts for Arithmetic Universes (AUs)’ presented by AU-sketches which originally appeared in Vickers’ work in [Vic19] and [Vic17].

We show how to use the AU techniques to get simple proofs of conceptually stronger, base-independent, and predicative (op)fibration results in \( ETop \), the 2-category of elementary toposes equipped with a natural number object, and arbitrary geometric morphisms. In particular, we relate the strict Chevalley fibrations, used to define fibrations of AU-contexts, to non-strict Johnstone fibrations, used to define fibrations of toposes.

Our approach brings to light the close connection of (op)fibration of toposes, conceived as generalized spaces, with topological properties. For example, every local homeomorphism is an opfibration and every entire map (i.e. fibrewise Stone) is a fibration.

Type of Work: Thesis (Doctorates > Ph.D.)
Award Type: Doctorates > Ph.D.
Licence: Creative Commons: Attribution-Noncommercial-Share Alike 4.0
College/Faculty: Colleges (2008 onwards) > College of Engineering & Physical Sciences
School or Department: School of Computer Science
Funders: None/not applicable
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
URI: http://etheses.bham.ac.uk/id/eprint/9752

Available Versions of this Item

  • A logical study of some 2-categorical aspects of topos theory. (deposited 14 Jul 2021 13:20) [Currently Displayed]


Request a Correction Request a Correction
View Item View Item


Downloads per month over past year