S. Awodey and M. Heller, “The homunculus brain and categorical logic”, ZFN, no. 69, pp. 253–280, Dec. 2020.