Dear colleagues, By accident I stumbled upon the thesis of Ralph Kroemer (in German) Die Kategorienetheorie: ihre mathematischen Leistungen, ihre erkentnistheoretischen Implikationen dated May 6, 2004. Some of you probably know this work, since you are explicitly mentioned in the Acknowledgements ;-) Some others with sufficient knowledge of German may be interested as well: http://www.univ-nancy2.fr/poincare/perso/kroemer/these-kroemer.pdf (445 pages). From my initial impression, this may be an important contribution. Best regards, and all the best for 2005 -- Juergen Koslowski --=20 Juergen Koslowski If I don't see you no more on this world ITI, TU Braunschweig I'll meet you on the next one koslowj@iti.cs.tu-bs.de and don't be late! http://www.iti.cs.tu-bs.de/~koslowj Jimi Hendrix (Voodoo Child, SR) 11-Jan-2005 13:05:22 -0400,4507;000000000000-00000000
(In case it wasn't clear from context, by "maximal filters of H" in
the double-negation retract should be the powerset of the set of maximal filters of H and so a CABA too.
I meant "maximal complete filters," in order to keep the topology discrete. That viewpoint incidentally makes the exterior Boolean algebra simply a matter of dropping "maximal".) Vaughan Pratt 11-Jan-2005 13:08:21 -0400,8206;000000000000-00000000
participants (2)
-
J=FCrgen Koslowski -
Vaughan Pratt