Marc Aiguier - Logic, categories and topos: from category theory to categorical logic (part 1)

Round-16 hunt: picked; source: course-code search in local formats (r16); channel screens (sellers/exam/re-upload/devotional/vendor/events), provenance check, vendor/seller/devotional recheck and quality tier A passed; strict per-title check + final strict pass; oEmbed verified.

A 100-minute video from Istituto Grothendieck: “Marc Aiguier - Logic, categories and topos: from category theory to categorical logic (part 1)”.

Video by Istituto Grothendieck, played through YouTube's embedded player.