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.)
]]>Thanks! Finished my editing.
]]>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.
]]>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.
]]>