Universal Causal Inference in a Topos | Read Paper on Bytez