https://cemulate.github.io/the-mlab/#y3Bt-co-extensional+limit https://cemulate.github.io/the-mlab/#y3Bt-co-extensional+lim... https://github.com/cemulate/the-

https://cemulate.github.io/the-mlab/#y3Bt-co-extensional+limit https://cemulate.github.io/the-mlab/#y3Bt-co-extensional+lim... https://github.com/cemulate/the-mlab https://github.com/cemulate/the-mlab This is a parody of the nLab, a wiki for collaborative work on category theory and higher category theory. As anyone who's visited is probably aware, the jargon can be absolutely impenetrable for the uninitiated -- thus, the idea for this project was born! This project uses my package nearley-generator, a module that can turn a Nearley grammar into an efficient and controllable fake text generator. The grammar file for this site can be found at /src/grammar/nlab.ne