This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
Thomas🪴
lipsum.dev
did:plc:denld7ao24tcahogbclo3if3
I was reading arxiv.org/abs/2204.00948 and it says "The effective topos Eff is the ex/reg completion (as in (Menni, 2000, Section 3.4)) of the category of assemblies.".
https://arxiv.org/abs/2204.00948
2025-04-20T09:14:37.685Z