BrighterTube

EPIT Spring School on HoTT: Andrej Bauer Part 3 (Homotopy Levels)

EPIT Spring School on Homotopy Type Theory341 subscribers

Why it's on BrighterTube

Advanced · Editorial review · 85% confidence

Whole-channel inclusion: EPIT Spring School on Homotopy Type Theory (title sample: All uploads are structured academic lectures from a graduate-level summer school on homotopy type theory, taught by domain experts.; 1 of 3 sampled transcripts read as real teaching); this title passed a strict title check.

What you'll learn

A 39-minute video from EPIT Spring School on Homotopy Type Theory: “EPIT Spring School on HoTT: Andrej Bauer Part 3 (Homotopy Levels)”.

Science & Math

Video by EPIT Spring School on Homotopy Type Theory, played through YouTube's embedded player.