On synthetic $(\infty,1)$-category theory via simplicial type theory:
Ulrik Buchholtz, Jonathan Weinberger, Synthetic fibered $(\infty,1)$-category theory [arXiv:2105.01724, talk slides]
Jonathan Weinberger, A Synthetic Perspective on $(\infty,1)$-Category Theory: Fibrational and Semantic Aspects [arXiv:2202.13132]. PhD Thesis, TU Darmstadt, Germany, 2022.
Jonathan Weinberger, Strict stability of extension types [arXiv:2203.07194]
Jonathan Weinberger, Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories [arXiv:2204.00938]
Jonathan Weinberger, Internal sums for synthetic fibered $(\infty,1)$-categories [arXiv:2205.00386]
On model structures on cubical sets and univalent universes:
Formalization of the $(\infty,1)$-Yoneda lemma via simplicial homotopy type theory (in Rzk):
Last revised on September 18, 2023 at 15:13:06. See the history of this page for a list of all contributions to it.