{"id":"arxiv/2602.23086","url":"https://arxiv.org/abs/2602.23086","tags":["cs.LO","math.CT","math.LO"],"score":0,"title":"Effectful Toposes and Their Lawvere-Tierney Topologies","domain":"cs.LO","source":"arxiv","authors":["Rinta Yamada"],"reviews":0,"subject":"cs.LO","summary":"This paper introduces effectful toposes as an extension of the effective topos and investigates their structure relative to Lawvere-Tierney topologies. First, we formulate effectful toposes by lifting the evidenced frame, which is a recently proposed model for effectful computation. Next, we define Lawvere-Tierney topologies on effectful toposes and characterize the sheaves on them. In the effective topos, Lawvere-Tierney topologies are known to correspond to computational oracles. Finally, to demonstrate that our result contributes to the connection between realizability relativized by…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-02-26","reactions":{}}