MENU

Fun & Interesting

Emily Riehl: On the ∞-topos semantics of homotopy type theory: categorial semantics... - Lecture 1

Video Not Working? Fix It Now

HYBRID EVENT

Recorded during the meeting "Logic and Interactions" the February 21, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France)
Filmmaker: Guillaume Hennenfent

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, bibliographies, Mathematical area

Comment