https://www.hugomoeneclaey.com/publication-type/1/2025-09-01T18:34:17+02:00https://www.hugomoeneclaey.com/publication/2025_synthetic_stone_duality/2025-09-01T18:34:17+02:00https://www.hugomoeneclaey.com/2025-09-19T17:39:48+02:00https://www.hugomoeneclaey.com/publication_types/2025-09-19T16:37:24+02:00https://www.hugomoeneclaey.com/talk/cohomology-in-synthetic-stone-duality/2025-09-19T17:39:48+02:00https://www.hugomoeneclaey.com/talk/chatelets-theorem-in-synthetic-algebraic-geometry/2025-09-19T16:37:24+02:00https://www.hugomoeneclaey.com/publication-type/3/2025-09-01T18:34:17+02:00https://www.hugomoeneclaey.com/publication/2025_chatelet/2025-09-01T18:34:17+02:00https://www.hugomoeneclaey.com/publication/2025_differential/2025-04-11T15:23:42+02:00https://www.hugomoeneclaey.com/talk/differential-geometry-in-synthetic-algebraic-geometry/2024-04-08T14:40:01+02:00https://www.hugomoeneclaey.com/publication-type/7/2025-09-19T16:37:24+02:00https://www.hugomoeneclaey.com/publication/2022_cubical_models_cofree/2025-09-19T16:37:24+02:00https://www.hugomoeneclaey.com/publication/2022_parametricity_monoids/2025-04-08T13:14:52+02:00https://www.hugomoeneclaey.com/talk/cubical-models-are-cofreely-parametric/2022-09-01T16:46:54+02:00https://www.hugomoeneclaey.com/talk/parametricity-and-cubes/2021-11-10T15:47:11+01:00https://www.hugomoeneclaey.com/talk/parametricity-and-semi-cubical-types/2021-11-10T15:47:11+01:00https://www.hugomoeneclaey.com/publication/2021_parametricity_semi_cubes/2021-09-27T16:42:51+02:00https://www.hugomoeneclaey.com/tag/academic/2021-01-23T19:11:34+00:00https://www.hugomoeneclaey.com/categories/2021-01-23T19:11:34+00:00https://www.hugomoeneclaey.com/category/demo/2021-01-23T19:11:34+00:00https://www.hugomoeneclaey.com/tags/2021-01-23T19:11:34+00:00https://www.hugomoeneclaey.com/post/getting-started/2021-01-23T19:11:34+00:00https://www.hugomoeneclaey.com/tag/%E5%BC%80%E6%BA%90/2021-01-23T19:11:34+00:00https://www.hugomoeneclaey.com/category/%E6%95%99%E7%A8%8B/2021-01-23T19:11:34+00:00https://www.hugomoeneclaey.com/publication-type/4/2025-04-08T13:14:52+02:00https://www.hugomoeneclaey.com/publication/2019_cubical/2025-04-08T13:14:52+02:00https://www.hugomoeneclaey.com/talk/toward-a-cubical-type-theory-univalent-by-definition/2024-04-24T14:02:15+02:00https://www.hugomoeneclaey.com/talk/monoids-up-to-coherent-homotopy-in-two-level-type-theory/2024-04-24T14:02:15+02:00https://www.hugomoeneclaey.com/publication/2019_operads/2025-04-08T13:14:52+02:00https://www.hugomoeneclaey.com/slides/2020-12-11T01:40:31+00:00https://www.hugomoeneclaey.com/slides/example/2020-12-11T01:40:31+00:00https://www.hugomoeneclaey.com/talk/finitary-higher-inductive-types-in-the-groupoid-model/2021-09-27T16:42:51+02:00https://www.hugomoeneclaey.com/publication/2018_segal_spaces/2025-04-09T19:27:10+02:00https://www.hugomoeneclaey.com/publication/2017_expansion_proofs/2025-04-08T13:14:52+02:00https://www.hugomoeneclaey.com/publication/2017_finitary_hits/2025-04-11T15:23:42+02:00https://www.hugomoeneclaey.com/publication/2016_finitary_hits/2025-04-08T13:14:52+02:00https://www.hugomoeneclaey.com/tag/deep-learning/2020-12-11T01:40:31+00:00https://www.hugomoeneclaey.com/project/example/2020-12-11T01:40:31+00:00https://www.hugomoeneclaey.com/project/2020-12-11T01:40:31+00:00https://www.hugomoeneclaey.com/admin/2021-02-09T22:16:30+00:00https://www.hugomoeneclaey.com/post/2021-09-23T17:38:50+02:00https://www.hugomoeneclaey.com/publication/2021-01-23T19:43:06+00:00https://www.hugomoeneclaey.com/event/2021-01-23T19:43:06+00:00