Media Summary: Talk given on Thursday October 10, 2019 at The Graduate Center. Higher-dimensional Talk in the GALAI seminar (General Algebra, Logic and Artificial Intelligence Seminar), Chapman University, February 19, 2025. Jonathan Weinberger -- Synthetic fibered (∞,1)-category theory -- 27 Feb 2023

Jonathan Weinberger A Type Theory For 1 Categories - Detailed Analysis & Overview

Talk given on Thursday October 10, 2019 at The Graduate Center. Higher-dimensional Talk in the GALAI seminar (General Algebra, Logic and Artificial Intelligence Seminar), Chapman University, February 19, 2025. Jonathan Weinberger -- Synthetic fibered (∞,1)-category theory -- 27 Feb 2023 HoTTEST Summer School Colloquium There is a considerable distance between the formal rules of Title: Dialectica Constructions and Lenses Speaker:

Photo Gallery

Jonathan Weinberger: A Type Theory for (∞,1)-Categories
Jonathan Weinberger --- Modalities and fibrations for synthetic (∞,1)-categories
Jonathan Weinberger, Synthetic fibered (∞,1)-category theory
Jonathan Weinberger, Directed univalence and the Yoneda embedding for synthetic ∞-categories
Synthetic fibered (∞,1)-category theory, Jonathan Weinberger
Synthetic Tait Computability for Simplicial Type Theory - Jonathan Weinberger
Jonathan Weinberger (Chapman) Directed univalence and the Yoneda embedding for synthetic (∞,1)-categ
Jonathan Weinberger -- Synthetic fibered (∞,1)-category theory -- 27 Feb 2023
Jon Sterling, How to code your own type theory
Jonathan Weinberger: Dialectica Constructions and Lenses
Ulrik Buchholtz, (Co)cartesian families in simplicial type theory
Christianity Is WRONG! Disagree? Call Us! | The DEvangelicals w/ Justin DZ + Thinker
Sponsored
View Detailed Profile
Jonathan Weinberger: A Type Theory for (∞,1)-Categories

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

Title: A

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

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

Talk given on Thursday October 10, 2019 at The Graduate Center. Higher-dimensional

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

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

Homotopy

Jonathan Weinberger, Directed univalence and the Yoneda embedding for synthetic ∞-categories

Jonathan Weinberger, Directed univalence and the Yoneda embedding for synthetic ∞-categories

Homotopy

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

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

Abstract: I am

Sponsored
Synthetic Tait Computability for Simplicial Type Theory - Jonathan Weinberger

Synthetic Tait Computability for Simplicial Type Theory - Jonathan Weinberger

TYPES

Jonathan Weinberger (Chapman) Directed univalence and the Yoneda embedding for synthetic (∞,1)-categ

Jonathan Weinberger (Chapman) Directed univalence and the Yoneda embedding for synthetic (∞,1)-categ

Talk in the GALAI seminar (General Algebra, Logic and Artificial Intelligence Seminar), Chapman University, February 19, 2025.

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 theory -- 27 Feb 2023

Jon Sterling, How to code your own type theory

Jon Sterling, How to code your own type theory

HoTTEST Summer School Colloquium There is a considerable distance between the formal rules of

Jonathan Weinberger: Dialectica Constructions and Lenses

Jonathan Weinberger: Dialectica Constructions and Lenses

Title: Dialectica Constructions and Lenses Speaker:

Ulrik Buchholtz, (Co)cartesian families in simplicial type theory

Ulrik Buchholtz, (Co)cartesian families in simplicial type theory

Homotopy

Christianity Is WRONG! Disagree? Call Us! | The DEvangelicals w/ Justin DZ + Thinker

Christianity Is WRONG! Disagree? Call Us! | The DEvangelicals w/ Justin DZ + Thinker

Call us NOW at +

Why Categorical Aspects of Type Theory Matter

Why Categorical Aspects of Type Theory Matter

CSCI 8980 Higher-Dimensional