Author: Thomas Holder Format: MarkdownItexAdded a reference to
* Christian Maurer, _Universes in Topoi_ , pp.285-296 in Lawvere, Maurer, Wraith (eds.), _Model Theory and Topoi_ , LNM **445** Springer Heidelberg 1975.
<a href="https://ncatlab.org/nlab/revision/diff/universe+in+a+topos/19">diff</a>, <a href="https://ncatlab.org/nlab/revision/universe+in+a+topos/19">v19</a>, <a href="https://ncatlab.org/nlab/show/universe+in+a+topos">current</a>
Added a reference to
Christian Maurer, Universes in Topoi , pp.285-296 in Lawvere, Maurer, Wraith (eds.), Model Theory and Topoi , LNM 445 Springer Heidelberg 1975.