This is the personal “subweb” of Urs Schreiber within the nLab. See the main home page.
Last revised on February 3, 2026 at 13:13:34. See the history of this page for a list of all contributions to it.