I was going to call this "Monotonic monads of infinitely superimposed zeros: Inquiries into categorical atomism at the foundation of mathematics" but I think I'll wait a moment before giving this a public title, and go with this working draft, which auto-save calls it "draft […]