nLab Jonathan Weinberger

Selected writings

Selected writings

On synthetic ( , 1 ) (\infty,1) -category theory via simplicial type theory:

On model structures on cubical sets and univalent universes:

Formalization of the ( , 1 ) (\infty,1) -Yoneda lemma via simplicial homotopy type theory (in Rzk):

category: people

Last revised on September 18, 2023 at 15:13:06. See the history of this page for a list of all contributions to it.