Aczel, Peter (2006) Equalisers of frames in constructive set theory. [MIMS Preprint]
![[thumbnail of coeq.ps]](https://eprints.maths.manchester.ac.uk/style/images/fileicons/application_postscript.png) |
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 |