Effectful Toposes and Their Lawvere-Tierney Topologies. - Rinta Yamada (CoRR, 2026)