This nLab page is for developing preliminary notes or making typographical experiments, etc. It may be edited by anybody, anytime. But you don’t necessarily need to delete other people’s ongoing notes here in order to add your own. In any case, overwritten edits may always be recovered from the page history.
Last revised on June 13, 2025 at 14:42:46. See the history of this page for a list of all contributions to it.