The Homunculus Brain and Categorical Logic. ZFN 2020, No. 69, 253-280.