Relative toposes for artificial general intelligence [video]