Stone duality for topological theories
Category Theory
2010-10-29 v2 General Topology
Abstract
In the context of categorical topology, more precisely that of T-categories [Hofmann, 2007], we define the notion of T-colimit as a particular colimit in a V-category. A complete and cocomplete V-category in which limits distribute over T-colimits, is to be thought of as the generalisation of a (co-)frame to this categorical level. We explain some ideas on a T-categorical version of "Stone duality", and show that Cauchy completeness of a T-category is precisely its sobriety.
Keywords
Cite
@article{arxiv.1004.0160,
title = {Stone duality for topological theories},
author = {Dirk Hofmann and Isar Stubbe},
journal= {arXiv preprint arXiv:1004.0160},
year = {2010}
}
Comments
16 pages, modifications here and there, final version