Elias Judin - Category Theory & Monadic Algebra Research
// Research
Research Focus
monadic algebra ⊗ descent theory ⊗ monadic cohomology
algebraic geometry ⊗ monadic descent ⊗ monadic topology
supervised by prof. George Janelidze
Education
UCT pure mathematics (master’s) 2023-present
UCT pure mathematics (honours) 2022 [cum laude]
Wits computer science + pure mathematics 2021 [cum laude]
Honours Project
free semimodules and their examples [2022]
Interdisciplinary Interests
geometrization /// quantum information /// cryptography /// artificial intelligences /// media archaeology
Timeline Fragments
march 2025 ⟡ labeling Lean4 formalizations of AMC and AIME problems and solutions for Project Numina through Kili-technology (opensource)
august 2024 ⟡ weekly seminars with Prof. G. Janelidze, UCT + Stellenbosch University category theory research group
march 2024 ⟡ UCT building research grant 2024
september 2023 ⟡ consulted for SAOTA’s resource centre unit—archiving architectural materials with a view towards the right use of artificial intelligence
february 2023 ⟡ entered master’s program + UCT building research grant 2023
december 2022 ⟡ launched describing difficult spaces
november 2022 ⟡ honours degree, cum laude + completed project free semimodules and their examples
january 2022 ⟡ nominated by UCT’s dept. of mathematics for Max Price and Deborah Posel scholarship [only honours student nominated]
may 2021 ⟡ attended Harvard’s New Horizons in Theoretical Computer Science Summer School