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

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

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

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

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

Ulrik Buchholtz, (Co)cartesian families in simplicial type theorySee more