Dr. Benedikt Ahrens | Categorical structures for type theory in univalent foundations"

Whole-channel inclusion: INI Seminar Room 2 is an honest teaching channel (title sample + 3 transcripts read: All three transcripts show genuine expert seminar talks with technical mathematical/engineering content delivered in lecture format, consistent with the channel's academic seminar focus.); this title passed a strict title check (sonnet) after a labelling pass.

A 34-minute video from INI Seminar Room 2: “Dr. Benedikt Ahrens | Categorical structures for type theory in univalent foundations"”.

Video by INI Seminar Room 2, played through YouTube's embedded player.