File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
qtcat2026-110760-eng-Who_cares_about_codensity_monads_opus.opus17.0 MiB2026-Aug-12 17:07
qtcat2026-110762-eng-Parametrised_Representability_opus.opus13.4 MiB2026-Aug-14 16:48
qtcat2026-110765-eng-The_Road_from_Circuits_to_Category_Theory_opus.opus19.8 MiB2026-Aug-12 17:04
qtcat2026-110771-eng-Category_theory_formalised_humanely_opus.opus35.8 MiB2026-Aug-12 17:01
qtcat2026-110772-eng-Coinductive_invertibility_in_higher_categories_opus.opus34.0 MiB2026-Aug-13 15:23
qtcat2026-110773-eng-The_fundamental_theorem_of_deeper_algebra_opus.opus38.4 MiB2026-Aug-12 17:35
qtcat2026-110774-eng-Cats_and_Types_Side_by_Side_opus.opus28.9 MiB2026-Aug-14 10:19
qtcat2026-110775-eng-Opening_opus.opus2.3 MiB2026-Aug-12 16:27
qtcat2026-110779-eng-Closing_Closure_Completion_opus.opus13.7 MiB2026-Aug-14 16:49