The problem was the use of mathematics inside the theorem ’naming’. I removed it from Theorem 2.7, and also moved the link to the May recognition theorem to the surrounding text for Theorem 2.8.

As we’re currently hard at work with an ’nLab 2’ software wise (https://github.com/ncatlab/nlab-core), I’ll not dig into this for now, as it’s not something that crops up often, and can always be solved by just using the surrounding text instead.

]]>There is some bug with the display of this page. Some maths doesn’t get rendered and theorems appear in the toc, as if sections. Probably some closing dollar sign is missing somewhere, but I haven’t found it.

]]>