№6 Представимые функторы. Лемма Йонеды. 12.10.2020