Rethinking the notion of oracle

Takayuki Kihara

We present three different perspectives of oracle. First, an oracle is a blackbox; second, an oracle is an endofunctor on the category of represented spaces; and third, an oracle is an operation on the object of truth-values. These three perspectives create a link between the three fields, computability theory, synthetic descriptive set theory, and effective topos theory.

Knowledge Graph



Sign up or login to leave a comment