A groupoid formulation of the Baire Category Theorem
General Topology
2012-09-14 v1 Logic
Operator Algebras
Abstract
We prove that the Baire Category Theorem is equivalent to the following: Let G be a topological groupoid such that the unit space is a complete metric space, and there is a countable cover of G by neighbourhood bisections. If G is effective, then G is topologically principal.
Keywords
Cite
@article{arxiv.1209.2912,
title = {A groupoid formulation of the Baire Category Theorem},
author = {Jonathan Henry Brown and Lisa Orloff Clark},
journal= {arXiv preprint arXiv:1209.2912},
year = {2012}
}
Comments
6 pages