Ulrik Buchholtz, (Co)cartesian families in simplicial type theory

Synthetic fibered (∞,1)-category theory, Jonathan WeinbergerSee more

Ulrik Buchholtz, From higher groups to homotopy surfacesSee more

Ulrik Buchholtz - Universes in toy models of spatial type theorySee more

Synthetic Tait Computability for Simplicial Type Theory - Jonathan WeinbergerSee more

Jonathan Weinberger --- Modalities and fibrations for synthetic (∞,1)-categoriesSee more

Jonathan Weinberger, Synthetic fibered (∞,1)-category theorySee more

Ulrik Buchholz: Higher Algebra in Homotopy Type TheorySee more

Jonathan Weinberger: A Type Theory for (∞,1)-CategoriesSee more

Stable Homotopy Seminar, 4: Model categories (Ivo Vekemans)See more

Intuitionism and Constructive Mathematics 4/5See more

Cisinski, Nguyen, Walde: Univalent Directed Type theory, Part 1See more

Homotopical Algebra 1.2: Examples Of (co)Simplicial SetsSee more

Bergner's Model Structure on Simplicial CategoriesSee more

Ulrik Buchholtz - Non-abelian cohomology (Groups, Torsors, Gerbes, Bands & all that)See more

Simplicial Complexes - Your Brain as Math Part 2 | Infinite SeriesSee more

Model Structures for ∞-Groupoids and ∞-Categories on Cubical SetsSee more