BrighterTube

HoTT Problem Session 12: Univalent combinatorics (Artem) -- HoTTEST Summer School 2022

HoTTEST2.89K subscribers

Why it's on BrighterTube

Editorial review · 85% confidence

Whole-channel inclusion: HoTTEST (title sample: Nearly every upload is a full research seminar talk or summer-school lecture on homotopy type theory, consistently technical and educational with descriptive academic titles.; 2 of 3 sampled transcripts read as real teaching); this title passed a strict title check.

What you'll learn

A 76-minute video from HoTTEST: “HoTT Problem Session 12: Univalent combinatorics (Artem) -- HoTTEST Summer School 2022”.

Science & Math

Video by HoTTEST, played through YouTube's embedded player.