I propose adding n cat lab tag with an intention to discuss mathematics that is written in https://ncatlab.org/nlab/show/HomePage. As https://ncatlab.org/nlab/show/HomePage has large amount of mathematics used as reference and/or as in learning for the first time I guess it would be useful to...