: category theory : universal algebra : formalized mathematics : : category theory : universal algebra : formalized mathematics :
latest work
latest work: July 2026 — Kourovka Notebook preprint
:: July 2026 — Kourovka Notebook preprint :: :: July 2026 — Kourovka Notebook preprint ::
work and study
work and study: Harmonic, Project Numina, University of Cape Town, University of the Witwatersrand, Kili Technology
::: Harmonic ::: Project Numina ::: University of Cape Town ::: University of the Witwatersrand ::: Kili Technology ::: ::: Harmonic ::: Project Numina ::: University of Cape Town ::: University of the Witwatersrand ::: Kili Technology :::