December 4: Matteo Spadetto, Different descriptions of the semantics of computation axioms
5 views
Skip to first unread message
Dan Christensen
Dec 2, 2025, 1:00:36 PMDec 2
to hott-electroni...@googlegroups.com
This week the HoTTEST seminar presents:
Matteo Spadetto
Different descriptions of the semantics of computation axioms
The talk is at 11:30am EST (16:30 UTC) on Thursday, December 4. The
talk will be 60 minutes long, followed by up to 30 minutes for questions.
See https://hottest-seminar.github.io/ for the Zoom link and a list of
all upcoming talks.
All are welcome!
Abstract:
We discuss three ways of formulating the semantics of type theory
(syntactic, (higher) categorical, and homotopy theoretic) and the
relationships between them, focusing on concrete examples provided by
axiomatic type constructors.
Matteo Spadetto
Different descriptions of the semantics of computation axioms
The talk is at 11:30am EST (16:30 UTC) on Thursday, December 4. The
talk will be 60 minutes long, followed by up to 30 minutes for questions.
See https://hottest-seminar.github.io/ for the Zoom link and a list of
all upcoming talks.
All are welcome!
Abstract:
We discuss three ways of formulating the semantics of type theory
(syntactic, (higher) categorical, and homotopy theoretic) and the
relationships between them, focusing on concrete examples provided by
axiomatic type constructors.
Reply all
Reply to author
Forward
0 new messages