🗓️ The July 2026 arXiv articles are now in ar5iv. The Rust conversion is really making a difference, these updates are now much faster/cheaper to complete. Some recent samples if curious: ar5iv.labs.arxiv.org/html/2607.12... ar5iv.labs.arxiv.org/html/2607.21... ar5iv.labs.arxiv.org/html/2607.25...
The homotopical monadicity theorem
We give a broad homotopical analog of the classical categorical Beck monadicity theorem. It often holds when classical monadicity fails. This grew out of an understanding of a general context for reco...
ar5iv.labs.arxiv.org
📢 The June 2026 arXiv articles are now in ar5iv, with three big changes: Rust, NYC, AI 🧵1/5