Progress on the problem of handling logical uncertainty: how do we formally describe our uncertainty about mathematical facts such as the digits of pi or the truth of the Riemann hypothesis?
There’s a very general notion of endomorphism object that specializes to endomorphism monads, endomorphism operads, and the codensity monad. Has anyone seen it?