Awodey, S.; Heller, M. The Homunculus Brain and Categorical Logic. ZFN 2020, 253-280.