Thursday, November 7 (! now on STANDARD TIME !): Tashi Walde "An axiomatization of synthetic category theory"

[Emily Riehl]

The HoTTEST seminar continues this week, on Thursday (November 7), at the BRAND NEW WINTER TIME: 11:30am EST = 16:30pm UTC. For those of you who have not recently gone through the switch from summer to winter time, this means that the seminar will be one hour later than usual. For those who have recently switched from summer to winter time, this likely means that the usual time zone intervals have been restored (after being off for a few weeks).

Our speaker is Tashi Walde, whose talk is titled "An axiomatization of synthetic category theory" The talk will be 60 minutes long, followed by
up to 30 minutes for questions.  The abstract is below.

The Zoom link is https://zoom.us/j/994874377

Further information, including the list of upcoming speakers, and videos and slides from past talks, is at:

 

https://www.math.uwo.ca/faculty/kapulkin/seminars/hottest.html

Emily

(On behalf of the HoTTEST organizers: Carlo Angiuli, Dan Christensen, Chris Kapulkin, and Emily Riehl.)

 

-- 

 

Title: An axiomatization of synthetic category theory.

 

Abstract: We propose an axiomatization of synthetic categories that allows to develop most of (infinity-)category theory from first principles, without relying on explicit set-theoretic models.

We expect that such a synthetic theory can make it easier to practice (infinity-)category theory for non-experts and teach it to beginners; moreover, it lends itself to formalization in proof assistants.

This talk is based on an ongoing long-term project with D.-C. Cisinski, B. Cnossen and K. Nguyen.

 

-- 

Professor of Mathematics (she/her)
Johns Hopkins University
emilyriehl.github.io