МБ
там не только про струны и топологию
Я имею в виду с физической стороны взгляд
Size: a a a
2020 February 12
ЗП
но вообще я бы за более современную версию RS
ЗП
вот только кто-бы ее написал?)
A
> в категории Vect произведение
С точки зрения теории типов, нам в этой категории интереснее тензорное произведение ⊗, дуальное к нему ⅋ и комбинации типа A* ⅋ B ;-)
С точки зрения теории типов, нам в этой категории интереснее тензорное произведение ⊗, дуальное к нему ⅋ и комбинации типа A* ⅋ B ;-)
А как это дуальное к тензорному произведению называется?
Oℕ
Ну оно тоже тензорное
Oℕ
Наверное по аналогии с линлогикой можно конъюнкцией и дизъюнкцией называтт
МБ
вот только кто-бы ее написал?)
New Structures for Physics?
ЗП
New Structures for Physics?
пруф)
NI
А как это дуальное к тензорному произведению называется?
"par"
МБ
A
"par"
Это устоявшийся термин в линейной алгебре? Не гуглится что-то
Oℕ
Это устоявшийся термин в линейной алгебре? Не гуглится что-то
это из линейной логики опять же
Oℕ
and or with par
A
это из линейной логики опять же
так утверждалось, что это конструкция в Vect
A
просто скажем не очень понятно, что такое двойственное к полилинейному отображению
Oℕ
двойственное же к тензорному произведению должно быть
A
Скажем, тензорное произведение двух пространств решает универсальную задачу классификации всех билинейных отображений из них. Если перевернуть все стрелки, то возникает вопрос — какое отображение является ко-билинейным
Oℕ
Так так, с одной стороны *-autonomous category не предполагает переворачивания стрелок.
В ней произведения дуальны относительно контравариантного эндофунктора *, который играет роль чего-то вроде -> _|_
С другой стороны оппозит категория остаётся моноидальной с тем же произведегнием
В ней произведения дуальны относительно контравариантного эндофунктора *, который играет роль чего-то вроде -> _|_
С другой стороны оппозит категория остаётся моноидальной с тем же произведегнием