███████╗ ██╗     ██╗ █████╗ ███████╗       ██╗██╗   ██╗██████╗ ██╗███╗   ██╗
  ██╔════╝ ██║     ██║██╔══██╗██╔════╝       ██║██║   ██║██╔══██╗██║████╗  ██║
  █████╗   ██║     ██║███████║███████╗       ██║██║   ██║██║  ██║██║██╔██╗ ██║
  ██╔══╝   ██║     ██║██╔══██║╚════██║  ██   ██║██║   ██║██║  ██║██║██║╚██╗██║
  ███████╗ ███████╗██║██║  ██║███████║  ╚█████╔╝╚██████╔╝██████╔╝██║██║ ╚████║
  ╚══════╝ ╚══════╝╚═╝╚═╝  ╚═╝╚══════╝   ╚════╝  ╚═════╝ ╚═════╝ ╚═╝╚═╝  ╚═══╝

Elias Judin - Category Theory & Monadic Algebra Research

_{ reformulating space }_
> master's student <
categorical algebra // monadic algebra
_University of Cape Town_

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

// Recent Publications

Reflections on the Right Use of Artificial Intelligence With a View to the Love of Mathematics

Apr 2025 #philosophy #speculative realism

Quentin Meillassoux’s speculative realism, launched with the provocative force of After Finitude, throws down a gauntlet …

Tarski's automorphsisms

Nov 2024 #logic #group-theory

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

Oct 2024 #algebraic-geometry #category-theory

A sheaf on a topological space $ X $ can be defined as a presheaf $ F: \text{Open}(X)^{\text{op}} \to \mathbf{Set} $ …

$ cd /blog _

Updated: April 5, 2025 © 2025 Elias Judin. Content licensed under CC-BY-4.0. Website code licensed under MIT License.