BibTeX
@TECHREPORT{Palmgren05coequalisersin,
author = {Erik Palmgren},
title = {Coequalisers in formal topology},
institution = {},
year = {2005}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We give a construction of coequalisers in formal topology, a predicative version of locale theory.
Citations
| 342 | Constructive Analysis - Bishop, Bridges - 1985 |
| 119 | Handbook of categorical algebra - Borceux - 1994 |
| 106 | An extension of the Galois Theory of Grothendieck - Joyal, Tierney - 1984 |
| 52 | Intuitionistic Formal Spaces – a First Communication - Sambin, Skordev - 1987 |
| 29 | On universes in type theory - Palmgren - 1995 |
| 27 | Inductively generated formal topologies - Coquand, Sambin, et al. - 2003 |
| 24 | Formal spaces - Fourman, Grayson - 1982 |
| 22 | Some points in formal topology - Sambin - 2000 |
| 21 | Intuitionistic type theory: notes by Giovanni Sambin of a series of lectures given - Martin-Löf - 1984 |
| 15 | Aspects of general topology in constructive set theory - Aczel |
| 8 | Predicativity problems in point-free topology - Palmgren - 2003 |
| 5 | Geometry of Observations: some contributions to (constructive) point-free topology - Curi - 2004 |
| 5 | The continuum as a formal space - Negri, Soravia - 1999 |
| 2 | Quotient topologies in constructive set theory and type theory - Ishihara, Palmgren - 2005 |
