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.
Added a link to (0,1)-presheaf.
Hmm, and now I see that this page already claims to redirect from there! The redirect isn’t functioning, because there’s an actual page at that name. Perhaps they should be merged.
Thanks for the alert. I have removed the spurious redirect now.
I am not sure if the entries need to be merged, but they should certainly explain their relation to each other. I left a link to “lower set” at (0,1)-presheaf, now. Don’t have the energy to do more, for the moment.
1 to 2 of 2