Index of /events/qtcat/2026/opus/

../
qtcat2026-110760-eng-Who_cares_about_codensity_..> 12-Aug-2026 15:07            17865552
qtcat2026-110762-eng-Parametrised_Representabil..> 14-Aug-2026 14:48            14084060
qtcat2026-110765-eng-The_Road_from_Circuits_to_..> 12-Aug-2026 15:04            20803785
qtcat2026-110771-eng-Category_theory_formalised..> 12-Aug-2026 15:01            37494791
qtcat2026-110772-eng-Coinductive_invertibility_..> 13-Aug-2026 13:23            35638915
qtcat2026-110773-eng-The_fundamental_theorem_of..> 12-Aug-2026 15:35            40314031
qtcat2026-110774-eng-Cats_and_Types_Side_by_Sid..> 14-Aug-2026 08:19            30307825
qtcat2026-110775-eng-Opening_opus.opus             12-Aug-2026 14:27             2411433
qtcat2026-110779-eng-Closing_Closure_Completion..> 14-Aug-2026 14:49            14373330