Такая операция над категориями, также её результат.