# 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.

1. Removed the requirement (under [https://ncatlab.org/nlab/revision/%CE%BA-ary+exact+category/15#examples_2](§ Examples)) that infinitary-coherent categories and infinitary pretopoi be well-powered (since the corresponding

• CommentRowNumber2.
• CommentAuthorGuest
• CommentTimeOct 16th 2021

The edit message got munged, it was supposed to continue like this:

nLab pages do not require it either); added DOI to Street’s article.

(Dit the presence of U+1D45D MATHEMATICAL ITALIC SMALL N in the input trip something up?)

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeOct 17th 2021

Maybe it was the symbol § where the parser expected a URL. Notice that the syntax (one of the possibilities) for links here is

  [link text](URL)


not [URL](link text).

• CommentRowNumber4.
• CommentAuthorGuest
• CommentTimeOct 17th 2021
Yes, that was another error (which I’ve already fixed in the edit — someday I’ll be fluent in Markdown!), but it seems the edit message was cut short at the U+1D45B in "
• CommentRowNumber5.
• CommentAuthorGuest
• CommentTimeOct 17th 2021

“in “nLab”.”, I meant to write (I’ve replaced it with “*n*Lab” now — seems to be an nForum issue…)

• CommentRowNumber6.
• CommentAuthorUrs
• CommentTimeOct 17th 2021
• (edited Oct 18th 2021)

I have done some trivial adjustments to the formatting at various points. Added more hyperlinks to keywords and to pointers to the references.

Re-arranged the sub-section outline slightly to make it more logical (or so I think, please check if you agree).

In particular, a full section for nothing but mentioning of the 2-category of categories defined further up I have stripped of its section header and instead made it appear as what it is: A definition, now here, right after the definition of the categories that it is referring to.