29 Jan
1993
29 Jan
'93
11:31 a.m.
Allen Knutson objected to my size argument (that the open subsets of
Hurray! Always nice to see my name spelled correctly in a (semi)public place.
Whereas an edge is a subobject, an open set is a congruence class. Now
Mm? I would've called a closed set a congruence class - putting on an equivalence relation should be like taking a (Hausdorff) quotient, which unifies a closed subset, not an open one. So I still think open sets are a red herring for your purposes. +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++