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

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

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

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

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

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

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

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

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

Jonathan Weinberger: Dialectica Constructions and LensesSee more

Jonathan Weinberger: Dialectica Constructions and Lenses

CT 20→21: Normalization for Cubical Type TheorySee more

CT 20→21: Normalization for Cubical Type Theory

Infinity-category 01: Simplicial categories, quasi-categories - Heyi ZhuSee more

Infinity-category 01: Simplicial categories, quasi-categories - Heyi Zhu

First Steps in Synthetic Tait Computability: The Objective Metatheory of Cubical Type TheorySee more

First Steps in Synthetic Tait Computability: The Objective Metatheory of Cubical Type Theory

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

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

News