File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
qtcat2026-110760-eng-Who_cares_about_codensity_monads_webm-hd.webm133.8 MiB2026-Aug-12 17:54
qtcat2026-110762-eng-Parametrised_Representability_webm-hd.webm273.2 MiB2026-Aug-14 17:07
qtcat2026-110765-eng-The_Road_from_Circuits_to_Category_Theory_webm-hd.webm181.5 MiB2026-Aug-12 17:40
qtcat2026-110771-eng-Category_theory_formalised_humanely_webm-hd.webm285.6 MiB2026-Aug-12 17:34
qtcat2026-110772-eng-Coinductive_invertibility_in_higher_categories_webm-hd.webm264.5 MiB2026-Aug-13 15:54
qtcat2026-110773-eng-The_fundamental_theorem_of_deeper_algebra_webm-hd.webm630.6 MiB2026-Aug-12 18:38
qtcat2026-110774-eng-Cats_and_Types_Side_by_Side_webm-hd.webm372.0 MiB2026-Aug-14 11:00
qtcat2026-110775-eng-Opening_webm-hd.webm15.5 MiB2026-Aug-12 16:31
qtcat2026-110779-eng-Closing_Closure_Completion_webm-hd.webm233.8 MiB2026-Aug-14 17:12