Equalisers of frames in constructive set theory

Aczel, Peter (2006) Equalisers of frames in constructive set theory. [MIMS Preprint]

[thumbnail of coeq.ps] Postscript
coeq.ps

Download (372kB)

Abstract

In a recent note Erik Palmgren has shown that the category of set-presented formal topologies has coequalisers in a sufficiently strong version of Martin-Lof's Type Theory. Here we get a version of Palmgren's result in a sufficiently strong version of constructive set theory. We prefer to work with the category of set-presented class frames, a category that is equivalent to the opposite of the category of set-presented formal topologies.

Item Type: MIMS Preprint
Uncontrolled Keywords: equalizers frames constructive set theory
Subjects: MSC 2010, the AMS's Mathematics Subject Classification > 03 Mathematical logic and foundations
Depositing User: Professor Peter H G Aczel
Date Deposited: 20 Sep 2006
Last Modified: 08 Nov 2017 18:18
URI: https://eprints.maths.manchester.ac.uk/id/eprint/598

Actions (login required)

View Item View Item