NI
Из праздного интереса: как выглядят экспоненциальные объекты в 2-категориях?
Под 2-категориями понимаются строгие или слабые?
Если строгие, то можно просто посмотреть готовые конструкции, должны быть где-нибудь.
Например, во всяких статьях про обогащённые категории.
Ну, строгая 2-категория, это то же самое, что обогащённая категория.
Если слабые, то там посложнее, но в целом, как-то так же —
просто у нас не равенства, а с точностью до изоморфизма.
Самому писать лень, статьи потом найду.
Если строгие, то можно просто посмотреть готовые конструкции, должны быть где-нибудь.
Например, во всяких статьях про обогащённые категории.
Ну, строгая 2-категория, это то же самое, что обогащённая категория.
Если слабые, то там посложнее, но в целом, как-то так же —
просто у нас не равенства, а с точностью до изоморфизма.
Самому писать лень, статьи потом найду.