Tuesday, December 26, 2006
Sunday, December 24, 2006
Monday, December 18, 2006
Saturday, December 16, 2006
Christopher TownsendI work in locale theory and topos theory. My preoccupation is that the theory of compact Hausdorff spaces and the theory of sets have such a lot in common that they can be expressed as the same theory. Therefore I am developing axioms for a category of spaces in which the theory of compact Hausdorff spaces is dual to the theory of sets (the duality is not standard categorical duality, but is order enriched duality; the category of spaces is order enriched). A further aim is to extend this work to an axiomatization of the category of Grothendieck toposes.
Friday, December 15, 2006
Friday, December 08, 2006
Subscribe to:
Posts (Atom)