Awodey, S. and Heller, M. 2020. The homunculus brain and categorical logic. Philosophical Problems in Science (Zagadnienia Filozoficzne w Nauce). 69 (Dec. 2020), 253–280.