University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Axiomatization of infinity-categories

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Axiomatization of infinity-categories

Download to your calendar using vCal

If you have a question about this talk, please contact Thibaut Benjamin .

I’ll discuss our proposed 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 ongoing collaborative work with D.-C. Cisinski, K. Nguyen and T. Walde.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Senior Common Room, 17 Mill Lane, Cambridge CB2 1RX The John Antcliffe Lecture Little Hall auditorium, Sidgwick Site

Other talks

Thelocactus Group Work Cooperation for Nature Bigger Picture Talk: Developing future marine engines running on ammonia and other green fuels Director's Briefing Title to be confirmed
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity