Awodey, S.; Heller, M. The Homunculus Brain and Categorical Logic. ZFN 2020, No. 69, 253-280. https://doi.org/10.59203/zfn.69.510.