| Parent directory/ | - | - |
| qtcat2026-110760-eng-Who_cares_about_codensity_monads_hd.mp4 | 110.2 MiB | 2026-Aug-12 17:03 |
| qtcat2026-110762-eng-Parametrised_Representability_hd.mp4 | 327.0 MiB | 2026-Aug-14 16:46 |
| qtcat2026-110765-eng-The_Road_from_Circuits_to_Category_Theory_hd.mp4 | 152.8 MiB | 2026-Aug-12 17:01 |
| qtcat2026-110771-eng-Category_theory_formalised_humanely_hd.mp4 | 264.1 MiB | 2026-Aug-12 16:58 |
| qtcat2026-110772-eng-Coinductive_invertibility_in_higher_categories_hd.mp4 | 222.5 MiB | 2026-Aug-13 15:21 |
| qtcat2026-110773-eng-The_fundamental_theorem_of_deeper_algebra_hd.mp4 | 656.1 MiB | 2026-Aug-12 17:33 |
| qtcat2026-110774-eng-Cats_and_Types_Side_by_Side_hd.mp4 | 515.5 MiB | 2026-Aug-14 10:17 |
| qtcat2026-110775-eng-Opening_hd.mp4 | 9.7 MiB | 2026-Aug-12 15:56 |
| qtcat2026-110779-eng-Closing_Closure_Completion_hd.mp4 | 269.4 MiB | 2026-Aug-14 16:48 |