File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
qtcat2026-110779-eng-Closing_Closure_Completion_mp3.mp319.5 MiB2026-Aug-14 15:50
qtcat2026-110762-eng-Parametrised_Representability_mp3.mp324.2 MiB2026-Aug-14 15:48
qtcat2026-110774-eng-Cats_and_Types_Side_by_Side_mp3.mp351.5 MiB2026-Aug-14 09:19
qtcat2026-110772-eng-Coinductive_invertibility_in_higher_categories_mp3.mp351.8 MiB2026-Aug-13 14:23
qtcat2026-110773-eng-The_fundamental_theorem_of_deeper_algebra_mp3.mp365.1 MiB2026-Aug-12 16:39
qtcat2026-110760-eng-Who_cares_about_codensity_monads_mp3.mp326.2 MiB2026-Aug-12 16:06
qtcat2026-110765-eng-The_Road_from_Circuits_to_Category_Theory_mp3.mp331.3 MiB2026-Aug-12 16:03
qtcat2026-110771-eng-Category_theory_formalised_humanely_mp3.mp358.6 MiB2026-Aug-12 16:01
qtcat2026-110775-eng-Opening_mp3.mp33.7 MiB2026-Aug-12 15:26