S. Awodey and M. Heller, “The homunculus brain and categorical logic”, ZFN, no. 69, pp. 253–280, Dec. 2020, doi: 10.59203/zfn.69.510.