File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
qtcat2026-110779-eng-Closing_Closure_Completion_webm-sd.webm62.6 MiB2026-Aug-14 16:16
qtcat2026-110762-eng-Parametrised_Representability_webm-sd.webm64.6 MiB2026-Aug-14 16:05
qtcat2026-110774-eng-Cats_and_Types_Side_by_Side_webm-sd.webm130.6 MiB2026-Aug-14 10:17
qtcat2026-110772-eng-Coinductive_invertibility_in_higher_categories_webm-sd.webm119.0 MiB2026-Aug-13 15:00
qtcat2026-110773-eng-The_fundamental_theorem_of_deeper_algebra_webm-sd.webm177.5 MiB2026-Aug-12 17:41
qtcat2026-110760-eng-Who_cares_about_codensity_monads_webm-sd.webm59.8 MiB2026-Aug-12 16:55
qtcat2026-110771-eng-Category_theory_formalised_humanely_webm-sd.webm127.0 MiB2026-Aug-12 16:51
qtcat2026-110765-eng-The_Road_from_Circuits_to_Category_Theory_webm-sd.webm76.3 MiB2026-Aug-12 16:39
qtcat2026-110775-eng-Opening_webm-sd.webm6.9 MiB2026-Aug-12 15:30