Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I added a bit to the section on the ultrafilter monad in ultrafilter. This could stand to be fleshed out still more. The immediate reason for my editing here was to put down the notion of “compact Hausdorff object” (which is used in a remark at BoolAlg).
Good!
It works better to link to compact Hausdorff object and then put a redirect from that to ultrafilter than to link to ultrafilter while saying ’compact Hausdorff object’. Someday, there might be a separate page compact Hausdorff object, and we want the links to continue to the right place.
Hi Dmitri, if you like, feel free to leave the citation syntax like you have it. I can try to implement it in the course of the next few days.
1 to 4 of 4