Elias Judin
Research Focus
monadic algebra ⊗ descent theory ⊗ monadic cohomology
algebraic geometry ⊗ monadic descent ⊗ monadic topology
supervised by prof. George Janelidze
Interdisciplinary Interests
geometrization /// quantum information /// cryptography /// artificial intelligences /// media archaeology
Timeline
- may 2025 ⟡ part-time Lean4 mathematician @ Harmonic
- 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 MSc Pure Mathematics program, UCT + building research grant 2023
- december 2022 ⟡ launched describing difficult spaces
- november 2022 ⟡ BSc(Hons) Pure Mathematics, UCT, 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]
- december 2021 ⟡ BSc Pure Mathematics & Computer Science, Wits, cum laude
- may 2021 ⟡ attended Harvard's New Horizons in Theoretical Computer Science Summer School
// Recent Posts
Reflections on the Right Use of Artificial Intelligence With a View to the Love of Mathematics
Quentin Meillassoux’s speculative realism, launched with the provocative force of After Finitude, challenges the …
Tarski's automorphisms
I first came across Albert Lautman (nLab) after reading Fernando Zalamea’s remarks on his importance to structural …
Sheaves as Presheaves with an Equalizer Diagram
A sheaf on a topological space $ X $ can be defined as a presheaf $ F: \text{Open}(X)^{\text{op}} \to \mathbf{Set} $ …