Welcome to the private area of Mike Shulman within the nLab. My plan is to use this area to explain partly-formed ideas that I’m working on. which I don’t feel confident are in definitive enough form to go on the main nLab, but which I’d nevertheless like to share and get feedback on. Please feel free to post comments, ask questions, and make corrections; the query box syntax from the main nLab works here as well.
There are two major projects here, which are interlinked:
Questions and comments are welcome.
A couple of minor spinoff speculations: