Oℕ
Что характерно, что Vect там как "не очень-то интересный пример" приведён
Size: a a a
2020 February 12
Oℕ
Слишком простой
A
Там же вроде про конечномерные пространства речь идет
A
В них-то просто (A ⊗ B)* канонически изоморфно A* ⊗ B*
A
И A** ~= A
Oℕ
простите
Oℕ
нужно маленькими буквами написать?
A
Хм
A
То есть Vect это finite-dimensional?
Oℕ
FInVect
A
Ну да
A
Да нет, мне просто интересно было, в каком смысле это дуальное понятие
A
Сейчас увидел
JG
Там больше про струны и топологии. А тут более приземлённые вещи заголовок обещает. Но, может, и то же самое.
Струны - такое дело, не очень теперь приветствуются в современной физике
NI
Это устоявшийся термин в линейной алгебре? Не гуглится что-то
В линейной логике устоявшийся.
Я утверждал, что с точки зрения теории типов, нам это интереснее.
Я утверждал, что с точки зрения теории типов, нам это интереснее.
NI
Что характерно, что Vect там как "не очень-то интересный пример" приведён
Ну, конечномерные векторные пространства, это Compact Closed.
Что, конечно, слишком частный случай *-автономных.
Что, конечно, слишком частный случай *-автономных.
NI
Струны - такое дело, не очень теперь приветствуются в современной физике
Зато n-категории очень приветствуются.
AG
Это устоявшийся термин в линейной алгебре? Не гуглится что-то
мультипликативной дизъюнкцией можно обозвать еще
Oℕ
предлагал уж
NI
мультипликативной дизъюнкцией можно обозвать еще
А, ну да. Тоже устоявшийся термин в линейной алгебре ;-)