TN
Начал кодировать (инфинити,1)-категории и сразу же столкнулся с проблемой кодировкаи Hom функтора 3-категории. Кроме категории естественный преобрзований, где морфизмы — это так называемые модификации (следующий уровень после естественных преобразований), надо в 3-категории включить информацию о предыдущих категориях, для предыдущей 2-категории — это объекты двух видов: 1) категории в категории категории; 2) функторы в категории функторов.
Я посмотрел на правила вертикальной и горизонтальной композиции, которые включены уже в категорию категорий и категорию функторов, и мне кажется, что существует изоморфизм между, с одной стороны — декартовым произведением двух категорий: категорией категорий и категорией функторов, и с другой стороны — бикатегорией. Вопрос, так ли это, и если да, то существует ли где-то такая теорема?
Я посмотрел на правила вертикальной и горизонтальной композиции, которые включены уже в категорию категорий и категорию функторов, и мне кажется, что существует изоморфизм между, с одной стороны — декартовым произведением двух категорий: категорией категорий и категорией функторов, и с другой стороны — бикатегорией. Вопрос, так ли это, и если да, то существует ли где-то такая теорема?
