|
Organizers |
A categorical account of the localic closed subgroup theorem
by
Christopher Townsend
8, Aylesbury Rd., Tring, HERTS UK, HP23 4DJ
Given an axiomatic account of the category of locales the closed subgroup theorem is proved. The theorem is seen as a consequence of a categorical account of the Hofmann-Mislove theorem. The categorical account has an order dual providing a new result for locale theory: every compact subgroup is necessarily fitted.
Date received: April 4, 2007
Copyright © 2007 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caug-04.