File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
qtcat2026-110760-eng-Who_cares_about_codensity_monads_av1-hd.webm94.8 MiB2026-Aug-12 17:20
qtcat2026-110762-eng-Parametrised_Representability_av1-hd.webm216.9 MiB2026-Aug-14 16:57
qtcat2026-110765-eng-The_Road_from_Circuits_to_Category_Theory_av1-hd.webm142.0 MiB2026-Aug-12 17:15
qtcat2026-110771-eng-Category_theory_formalised_humanely_av1-hd.webm208.3 MiB2026-Aug-12 17:14
qtcat2026-110772-eng-Coinductive_invertibility_in_higher_categories_av1-hd.webm173.5 MiB2026-Aug-13 15:37
qtcat2026-110773-eng-The_fundamental_theorem_of_deeper_algebra_av1-hd.webm481.6 MiB2026-Aug-12 17:55
qtcat2026-110774-eng-Cats_and_Types_Side_by_Side_av1-hd.webm285.1 MiB2026-Aug-14 10:40
qtcat2026-110775-eng-Opening_av1-hd.webm13.1 MiB2026-Aug-12 16:27
qtcat2026-110779-eng-Closing_Closure_Completion_av1-hd.webm185.7 MiB2026-Aug-14 16:58