λ
я уже начал было, но понял что надо сначал прочно закрепить основы)
Size: a a a
2018 March 11
AG
или какой нибудь Prop
OP
является ли задача нахождения лифта https://ncatlab.org/nlab/show/lift задачей выбора из Концептуальной математики?
Oℕ
является ли задача нахождения лифта https://ncatlab.org/nlab/show/lift задачей выбора из Концептуальной математики?
что такое задача выбора? Как-то связана с Axiom of Choice?
OP
что такое задача выбора? Как-то связана с Axiom of Choice?
скорее всего нет, в книге названа так
General division problems: Determination and choice
General division problems: Determination and choice
Oℕ
перекатывайся в Vect :)
Вербуешь линалгистов?
AG
ненавязчиво
AG
но это вообще хороший пример непрограммистской категории, доступной программистам
Oℕ
или какой нибудь Prop
Этот https://ncatlab.org/nlab/show/PROP? Или про Propositions что-то?
AG
да, product& permutation
AG
там мудрено написано, вообще можно считать что
то категория где объекты - натуральные числа
то категория где объекты - натуральные числа
Oℕ
там мудрено написано, вообще можно считать что
то категория где объекты - натуральные числа
то категория где объекты - натуральные числа
и типа, к примеру моноид описывется как ( 0 -> 1, 2 -> 1) ?
ЗП
ну да
() -> m
(m, m) -> m
() -> m
(m, m) -> m
ЗП
абстрактно
0 -> 1
2 -> 1
0 -> 1
2 -> 1
Oℕ
ну да
() -> m
(m, m) -> m
() -> m
(m, m) -> m
у вас тензор-продакт отклеился
AG
ну вообще в пропах сложение это тензор
ЗП
та то понятно
m (x) mAG
моноид какой то алгеброй задаётся скорее
Oℕ
моноид какой то алгеброй задаётся скорее
а т.е. PROP - это одна категория, а не по штуке на каждый случай?