Size: a a a

2021 June 19

AL

Alexander Luzgarev in Haskell
Ну в самом простом: дважды двойственное к векторному пространству не равно ему (а изоморфно только в конечномерном случае)
источник

AM

A M in Haskell
Сначала нужно разобраться что такое равенство.
источник

AL

Alexander Luzgarev in Haskell
Равенство это равенство
источник

MK

Maxim Koltsov in Haskell
равенство это гомотопии
источник

JS

Jerzy Syrowiecki in Haskell
векторное пространство не самое простое.

самое простое — противоположные и обратные числа.

-(-x) = x

1/(1/x) = x -- если существует

в чём проблема?
источник

NI

Nick Ivanych in Haskell
Векторное пространство, это же модуль.
источник

NI

Nick Ivanych in Haskell
Это действие моноида в моноидальной категории, что тут сложного? ;-)
источник

AL

Alexander Luzgarev in Haskell
Я бы не стал называть взятие обратного двойственностью
источник

AL

Alexander Luzgarev in Haskell
Но если речь о том, что бывают примеры, когда там таки равенство, то да, бывают
источник

к

кана in Haskell
векторное пространство это же довольно сложная структура, почему его вообще приводят в качестве простого примера (и довольно часто) - не ясно
источник

к

кана in Haskell
для всех категорий в принципе, дважды двойственная категория это она же

@Comonoid это же так?
источник

[

[BRM]White Rabbit in Haskell
а моноид это Conick Coivanych ?
источник

AL

Alexander Luzgarev in Haskell
Почему же векторные пространства в школе проходят, а моноидальные категории нет? Загадка.
источник

к

кана in Haskell
не знаю, мы и векторные пространства в школе не проходили
источник

IK

Ilya Kos in Haskell
+
источник

[

[BRM]White Rabbit in Haskell
я в школе вообще ничего такого не проходил
источник

[

[BRM]White Rabbit in Haskell
в каких школах вы учились?
источник

AL

Alexander Luzgarev in Haskell
Метод координат на геометрии в девятом классе вроде проходят
источник

АХ

Алексей Худяков... in Haskell
На первом курсе проходят
источник

NI

Nick Ivanych in Haskell
Так, конечно.
источник