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

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

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

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

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

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

Jonathan Weinberger: Dialectica Constructions and LensesSee more

Jonathan Weinberger: Dialectica Constructions and Lenses

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

1W-MINDS: Emily King, December 16, A Potpourri of Mathematical Analyses of Neural NetworksSee more

1W-MINDS: Emily King, December 16, A Potpourri of Mathematical Analyses of Neural Networks

1W-MINDS: Stéphane Mallat, July 2, 2020, Descartes versus Bayes: Harmonic Analysis for High...See more

1W-MINDS: Stéphane Mallat, July 2, 2020, Descartes versus Bayes: Harmonic Analysis for High...

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

Synthetic Symphony No.1See more

Synthetic Symphony No.1

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

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

News