now: July 2026 — Kourovka Notebook preprint, May 2025 — Lean4 formalization (part-time), March 2025 — AMC/AIME Lean4 labeling, August 2024 — Weekly category seminars
:: July 2026 — Kourovka Notebook preprint :: May 2025 — Lean4 formalization (part-time) :: March 2025 — AMC/AIME Lean4 labeling :: August 2024 — Weekly category seminars ::
affiliations
affiliations: Harmonic, Project Numina, University of Cape Town, University of the Witwatersrand, Kili Technology, Lean Prover community, SAMS
::: Harmonic ::: Project Numina ::: University of Cape Town ::: University of the Witwatersrand ::: Kili Technology ::: Lean Prover community ::: SAMS :::
Notes on topological, lax-topological (semi-topological/solid), and topologically algebraic functors via structured sources/sinks, classical characterizations, and the quantaloid-enriched “topological = total” theorem.