(Note: This is a heuristic question. I'm trying to work out if this idea makes sense. I don't have much background in this area, so apologies if I'm wide of the mark.)

Suppose you have a monad consisting of non-invertible (information losing) maps between objects. Quite a natural question to ask is, given some particular object, what are the objects which can be mapped on to it? Since the map is non-invertible, this is similar to the concept of a conditional distribution in probability theory.

Now, in algebraic geometry there is the concept of a scheme. Schemes make it possible to think of varieties over different fields as manifestations of the same underlying object, even though they might appear very different and contain different amounts of information.

I would like to know: is there some similar concept to a scheme which can be used to translate between different levels of fidelity in the monad?


Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.