Author: Urs Format: MarkdownItexadded *[[LexCat]]* to the list
<a href="https://ncatlab.org/nlab/revision/diff/categories+of+categories+-+contents/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/categories+of+categories+-+contents/5">v5</a>, <a href="https://ncatlab.org/nlab/show/categories+of+categories+-+contents">current</a>
Author: Urs Format: MarkdownItexgood point, so I added also *[[ModCat]]* and (and *[[Ho(Cat)]]*, while I was at it)
<a href="https://ncatlab.org/nlab/revision/diff/categories+of+categories+-+contents/7">diff</a>, <a href="https://ncatlab.org/nlab/revision/categories+of+categories+-+contents/7">v7</a>, <a href="https://ncatlab.org/nlab/show/categories+of+categories+-+contents">current</a>
good point, so I added also ModCat and (and Ho(Cat), while I was at it)