2006.370: Equalisers of frames in constructive set theory
2006.370: Peter Aczel (2006) Equalisers of frames in constructive set theory.
Full text available as:
|Postscript - Requires a viewer, such as GSview|
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 2000 > 03 Mathematical logic and foundations|
|Deposited By:||Professor Peter H G Aczel|
|Deposited On:||20 September 2006|