Octocurious https://octocurious.com Last 10 notes on Octocurious Quartz -- quartz.jzhao.xyz Fibration (HoTT) https://octocurious.com/Fibration-(HoTT) https://octocurious.com/Fibration-(HoTT) Wed, 29 Jul 2026 16:52:46 GMT Kan Fibration https://octocurious.com/Kan-Fibration https://octocurious.com/Kan-Fibration Wed, 29 Jul 2026 15:19:20 GMT Fibrancy (HoTT) https://octocurious.com/Fibrancy-(HoTT) https://octocurious.com/Fibrancy-(HoTT) Wed, 29 Jul 2026 13:48:54 GMT hofmann1997-dependent-types https://octocurious.com/hofmann1997-dependent-types https://octocurious.com/hofmann1997-dependent-types Tue, 28 Jul 2026 23:32:47 GMT Martin-Löf Type Theory https://octocurious.com/Martin-L%C3%B6f-Type-Theory https://octocurious.com/Martin-L%C3%B6f-Type-Theory Tue, 28 Jul 2026 23:30:34 GMT Identity Type https://octocurious.com/Identity-Type https://octocurious.com/Identity-Type Tue, 28 Jul 2026 23:30:34 GMT Context (Type Theory) https://octocurious.com/Context-(Type-Theory) https://octocurious.com/Context-(Type-Theory) Tue, 28 Jul 2026 23:30:34 GMT Lambda-calculus models of programming languages https://octocurious.com/Lambda-calculus-models-of-programming-languages https://octocurious.com/Lambda-calculus-models-of-programming-languages Tue, 28 Jul 2026 22:46:52 GMT GMA25 https://octocurious.com/GMA25 https://octocurious.com/GMA25 Tue, 28 Jul 2026 22:46:52 GMT Fragility of observational equivalence https://octocurious.com/Fragility-of-observational-equivalence https://octocurious.com/Fragility-of-observational-equivalence Tue, 28 Jul 2026 22:46:52 GMT