@trebor I don’t understand the construction of the frame map (X -> X_d). If an open belongs to more than one closed sub-locale, where is it mapped?
=> More informations about this toot | View the thread | More toots from antidote@mathstodon.xyz
=> View trebor@types.pl profile
text/gemini
This content has been proxied by September (3851b).