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

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

Synthetic Tait Computability for Simplicial Type Theory - Jonathan WeinbergerSee more

Synthetic Tait Computability for Simplicial Type Theory - Jonathan Weinberger

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

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

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

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

Jonathan Weinberger: Dialectica Constructions and LensesSee more

Jonathan Weinberger: Dialectica Constructions and Lenses

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

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

Synthetic mathematics with an excursion into computability theorySee more

Synthetic mathematics with an excursion into computability theory

Schemes 19: ProductsSee more

Schemes 19: Products

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

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

News