| Parent directory/ | - | - |
| qtcat2026-110760-eng-Who_cares_about_codensity_monads_sd.mp4 | 46.1 MiB | 2026-Aug-12 17:06 |
| qtcat2026-110762-eng-Parametrised_Representability_sd.mp4 | 77.1 MiB | 2026-Aug-14 16:49 |
| qtcat2026-110765-eng-The_Road_from_Circuits_to_Category_Theory_sd.mp4 | 60.0 MiB | 2026-Aug-12 17:04 |
| qtcat2026-110771-eng-Category_theory_formalised_humanely_sd.mp4 | 109.9 MiB | 2026-Aug-12 17:03 |
| qtcat2026-110772-eng-Coinductive_invertibility_in_higher_categories_sd.mp4 | 94.6 MiB | 2026-Aug-13 15:25 |
| qtcat2026-110773-eng-The_fundamental_theorem_of_deeper_algebra_sd.mp4 | 186.1 MiB | 2026-Aug-12 17:38 |
| qtcat2026-110774-eng-Cats_and_Types_Side_by_Side_sd.mp4 | 154.7 MiB | 2026-Aug-14 10:21 |
| qtcat2026-110775-eng-Opening_sd.mp4 | 5.1 MiB | 2026-Aug-12 16:26 |
| qtcat2026-110779-eng-Closing_Closure_Completion_sd.mp4 | 67.9 MiB | 2026-Aug-14 16:51 |