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.
The category of prosets is a coreflective subcategory of the category of topological spaces. I edited in this observation at specialization order, and am removing a query box:
+–{.query} There's an adjunction here; I should think about which way it goes and whether it's a reflection or something. —Toby Mike: If it exists, it’s either a reflection or a coreflection, since the functor is fully faithful. =–
Thanks!
adding link to specialization topology
1 to 8 of 8