Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added pointer to:
Michael Shulman, All $(\infty,1)$-toposes have strict univalent universes (arXiv:1904.07004)
Emily Riehl, On the $\infty$-topos semantics of homotopy type theory, lecture at Logic and higher structures CIRM (Feb. 2022) $[$pdf, Riehl-InfinityToposSemantics.pdf:file$]$
Notice that we have a bunch of entries on this point, which overlap a lot but tend to get out of sync:
Finally there is
which should cross-link with all these entries, but doesn’t. I’ll try to add some links now. But where is the Anonymous army of HoTT-topic editors when one needs them? :-)
1 to 2 of 2