I am a university student studying mathematics and computer science and I have been building my own wiki using mediawiki as the software. Recently I stumbled across nLab, it looks beautiful and the thing that I like the best was that I could embed tikz directly into it without hassle, and I'd like to switch to it.

If someone could help direct me how to install it on my own server it would be greatly appreciated!

I also wonder if anyone knows if it's easy to work with pseudocode in nLab as I would be using it alot.

Best,

C ]]>

I would like to suggest that the page of page-categories of the nLab https://ncatlab.org/nlab/page_categories should have a more strict structure.

I wanted to propose something along the lines of, each page_category should be either:

1. a mathematical object (all the theorems, definitions and constructions go there)

2. a person or people (some 3163 pages--this is mostly ok already),

3. books and papers, (have 3 overlapping pages, it seems: https://ncatlab.org/nlab/all_pages/Paper%20References, https://ncatlab.org/nlab/all_pages/reference and https://ncatlab.org/nlab/all_pages/references) - some 200 pages, perhaps?

4. fields of mathematics (Wikipedia has 72 of these) AND

5. MISC, for whatever else people wanted to have, like jokes, or things difficult to classify.

This would help when relating the nLab to WikiData using the property https://www.wikidata.org/wiki/Property:P4215

Does this sound sensible to you? There are only 60 page_categories, so these we could do by hand very easily, if you think this is a good idea.

Maybe this has been discussed in the nForum before, maybe it was discarded because of traditional rules that I don't know about. If so, I would like to know the rationale. Thanks! ]]>

http://ncatlab.org/nlab/show/topological+modular+form

has an outdated link to the reading list:

http://www.math.uiuc.edu/~ganter/talbot/index.html

It should be replaced by:

http://www.ms.unimelb.edu.au/~nganter/talbot/index.html

I have tried several times to edit the page accordingly, but upon

submission (as "Marc Olschok") alway got the message that

"Anonymous Coward" is already editing the page.

So now I give up and let the nlab-elves do the edit. ]]>

Is there a way (or a convenient way, or a standard way) of writing string diagrams on the nLab? In particular I could use something for just usual symmetric monoidal categories.

]]>I feel that, while the concept of algebra over a monad is of course an instance of the more general module over a monad, it could benefit from having its own dedicated page, with motivation from other fields and dedicated examples.

If I get a green light from enough people here, I can create the page myself (and replace the redirection by links both ways).

]]>I would like to add content to the nLab about the costrength of a monad. I could either (significantly) modify the strong monad page, or create a separate dedicated page. Any thoughts?

]]>I believe commutative monad should redirect to monoidal monad and not to commutative algebraic theory (but of course have a link to the latter). Is anyone disagreeing?

]]>