# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeDec 6th 2011

I have created an entry type of types. Wanted to collect some literature there, but ended up not finding too much…

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeSep 20th 2012

I found the entry type of types a bit lacking in information, when I needed to point to it (from the currently last comment of this G+ discussion). So I expanded just a little bit.

1. type universe used more commonly in the article

Anonymous

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeJun 6th 2022

Something strange happening with this page: When trying to (re-)sumit it, the parser complains about strings of the form

\ type


(i.e. backslash followed by whitespace is causing the error, but all the occurrences are followed by type)

What’s the intended syntax?

• CommentRowNumber5.
• CommentAuthorGuest
• CommentTimeJun 6th 2022

It used to be that having a backslash and a whitespace a la “\ ” used to allow the parser to parse the combination of characters into a whitespace in math mode, but that stopped working on the nLab a few days ago for some reason. “\ ” still works on my local computer’s latex editor to produce whitespaces in math mode.

• CommentRowNumber6.
• CommentAuthorUrs
• CommentTimeJun 6th 2022

I see, thanks for saying. I’ll bring this to the attention of the technical team.

• CommentRowNumber7.
• CommentAuthorUrs
• CommentTimeJun 6th 2022

Christian Sattler has fixed it, already!

2. added section on cumulativity for universes

Anonymous

• Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
• To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

• (Help)