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

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

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

Synthetic fibered (∞,1)-category theory, Jonathan Weinberger

Jonathan Weinberger -- Synthetic fibered (∞,1)-category theory -- 27 Feb 2023See more

Jonathan Weinberger -- Synthetic fibered (∞,1)-category theory -- 27 Feb 2023

Formalization of ∞ category theory (Jonathan Weinberger, Johns Hopkins University)See more

Formalization of ∞ category theory (Jonathan Weinberger, Johns Hopkins University)

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

Jonathan Weinberger, Synthetic fibered (∞,1)-category theory

Synthetic Tait Computability for Simplicial Type Theory - Jonathan WeinbergerSee more

Synthetic Tait Computability for Simplicial Type Theory - Jonathan Weinberger

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

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

∞-Category Theory for UndergraduatesSee more

∞-Category Theory for Undergraduates

The Equivariant Uniform Kan Fibration Model of Cubical Homotopy Type TheorySee more

The Equivariant Uniform Kan Fibration Model of Cubical Homotopy Type Theory

The Woman Who's Rewriting Higher Category TheorySee more

The Woman Who's Rewriting Higher Category Theory

Emily Riehl, The synthetic theory of ∞-categories vs the synthetic theory of ∞-categoriesSee more

Emily Riehl, The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories

Brandon Doherty, Cubical models of (∞,1)-categoriesSee more

Brandon Doherty, Cubical models of (∞,1)-categories

The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories - Emily RiehlSee more

The synthetic theory of ∞-categories vs the synthetic theory of ∞-categories - Emily Riehl

Jonathan Weinberger: Dialectica Constructions and LensesSee more

Jonathan Weinberger: Dialectica Constructions and Lenses

Actual