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.
Started an entry on closed morphisms, containing examples and characterizations using the internal language. Then I noticed that an entry on closed map already exists, but at the moment the nLab is too slow for proper browsing and editing. Will finish later and maybe merge the entries.
Thanks!
I have restarted the server. Now it responds again.
Then I have qickly merged the entries. I kept closed morphism and made closed map a redirect to it.
Thanks! Finished my editing.
Thanks!
I have added a few more links and touched the formatting ever so slightly. Also made closed geometric morphism a redirect. (We have for instance also open geometric morphism.)
1 to 4 of 4