___________.__  .__                     ____.         .___.__
    \_   _____/|  | |__|____    ______     |    |__ __  __| _/|__| ____
     |    __)_ |  | |  \__  \  /  ___/     |    |  |  \/ __ | |  |/    \
     |        \|  |_|  |/ __ \_\___ \  /\__|    |  |  / /_/ | |  |   |  \
    /_______  /|____/__(____  /____  > \________|____/\____ | |__|___|  /
            \/              \/     \/                      \/         \/

Elias Judin - Academic Website | Category Theory & Monadic Algebra

{reformulating space}

» master’s student «
categorical algebra // monadic algebra
University of Cape Town


research.focus

monadic algebradescent theorymonadic cohomology
algebraic geometrymonadic descentmonadic 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