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:
