@misc{indiciaed24dd78a563d, title = {Modified realizability subtoposes and total Weihrauch reducibility}, author = {Akihito Kajikawa and Masamori Kaku and Takayuki Kihara and Satoshi Nakata}, year = {2026}, url = {https://arxiv.org/abs/2608.02133}, note = {Source identifier: 2608.02133} }