IJ
я просто не понимаю, как функтор из a->b может сделать fb -> fa. С прямым функтором все просто, у тебя есть объект, возьми, раскрой внутреннюю структуру, сделай свою магию, запакуй обратно.
А с обратным, тебе дали функу из b -> a и внезапно тебе дали fa. Как ты отсюда получишь Fb? А хз
А с обратным, тебе дали функу из b -> a и внезапно тебе дали fa. Как ты отсюда получишь Fb? А хз
Предлагаю пример: категория где все объекты -- целые числа, а морфизмы между ними соответствуют <= . Функтор пусть будет эндофунктором, который инвертирует числа. Поправьте если глупость говорю.