Not signed in

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

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeOct 15th 2012
   • PermaLink
   Author: Urs
   Format: MarkdownItexI needed an entry for Charles Rezk's term _[[model topos]]_ in order to complete _[[locally presentable categories - table]]_, and so I created it. But we should have had that anyway. I have also cross-linked it with relevant entries

   I needed an entry for Charles Rezk’s term model topos in order to complete locally presentable categories - table, and so I created it. But we should have had that anyway. I have also cross-linked it with relevant entries

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeFeb 15th 2023
   • (edited Feb 15th 2023)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have made explicit the compound terminology **type-theoretic model topos** at both entries * [[model topos]] * [[type-theoretic model category]] and have made the term redirect to here and have added the references: * [[Michael Shulman]], §1.3 in: _All $(\infty,1)$-toposes have strict univalent universes_ ([arXiv:1904.07004](https://arxiv.org/abs/1904.07004)) reviewed in * [[Emily Riehl]], §6.1 of: *On the $\infty$-topos semantics of homotopy type theory*, lecture at *[Logic and higher structures](https://conferences.cirm-math.fr/2689.html)* CIRM (Feb. 2022) &lbrack;[pdf](https://emilyriehl.github.io/files/semantics.pdf)&rbrack; <a href="https://ncatlab.org/nlab/revision/diff/model+topos/10">diff</a>, <a href="https://ncatlab.org/nlab/revision/model+topos/10">v10</a>, <a href="https://ncatlab.org/nlab/show/model+topos">current</a>

   I have made explicit the compound terminology type-theoretic model topos at both entries

   • model topos

   • type-theoretic model category

   and have made the term redirect to here

   and have added the references:

   • Michael Shulman, §1.3 in: All $(\infty,1)$-toposes have strict univalent universes (arXiv:1904.07004)

   reviewed in

   • Emily Riehl, §6.1 of: On the $\infty$-topos semantics of homotopy type theory, lecture at Logic and higher structures CIRM (Feb. 2022) [pdf]

   diff, v10, current