NI
Привет. Очень рад.
Size: a a a
2019 August 26
IJ
привет! Пиши если есть вопросы, я её как раз дочитываю. Кажется отличным "основным" ресурсом, чтобы вместе с ней читать и более математичные книжки при надобности.
IJ
Буду рад вместе поразбираться, ну и тут полно более опытных людей.
RA
Не понятно высказывание "the essence of a category is a composition. Or, if you prefer, the essence of composition is a category."
NI
Renat Amirov
Не понятно высказывание "the essence of a category is a composition. Or, if you prefer, the essence of composition is a category."
Это образно. Но правильно ;-)
RA
Ок) иду дальше
AZ
Renat Amirov
Всем привет. Начал читать книгу Бартоша Милевски "Теория категорий для программистов".
я тут тоже начал, 2 главу ток закончил
AZ
после красной книги скаловой заходит очень неплохо
RA
Что за книга? Язык Scala?
AZ
Manning Functional Programming in Scala, Paul Chiusano and Runar Bjarnason
https://www.manning.com/books/functional-programming-in-scala
https://www.manning.com/books/functional-programming-in-scala
AZ
она про прикладное ФП
AZ
но я теперь в категории лезу хотя бы зная, чем функтор от аппликатива отличается
RA
Спасибо ща попробую..
IJ
Renat Amirov
Не понятно высказывание "the essence of a category is a composition. Or, if you prefer, the essence of composition is a category."
Мне кажется, суть в том, что:
1. Главнейшее понятие категории - морфизмы. (Можно в принципе даже без объектов обойтись, наверное, ведь каждому соответствует взаимно однозначно единичный морфизм?)
2. В отличие от ориентированного графа, где если A-> B, то на этом всё, морфизмы категории можно комбинировать, и получаются тоже морфизмы. То есть морфизмы это пути между вершинами (с учётом того, что можно впихнуть еще единичных морфизмов любое количество по пути).
1. Главнейшее понятие категории - морфизмы. (Можно в принципе даже без объектов обойтись, наверное, ведь каждому соответствует взаимно однозначно единичный морфизм?)
2. В отличие от ориентированного графа, где если A-> B, то на этом всё, морфизмы категории можно комбинировать, и получаются тоже морфизмы. То есть морфизмы это пути между вершинами (с учётом того, что можно впихнуть еще единичных морфизмов любое количество по пути).
AZ
с кодом таки попроще, имхо
λ
а давно маннинг стал книги бесплатно распространять?
RA
Мне кажется, суть в том, что:
1. Главнейшее понятие категории - морфизмы. (Можно в принципе даже без объектов обойтись, наверное, ведь каждому соответствует взаимно однозначно единичный морфизм?)
2. В отличие от ориентированного графа, где если A-> B, то на этом всё, морфизмы категории можно комбинировать, и получаются тоже морфизмы. То есть морфизмы это пути между вершинами (с учётом того, что можно впихнуть еще единичных морфизмов любое количество по пути).
1. Главнейшее понятие категории - морфизмы. (Можно в принципе даже без объектов обойтись, наверное, ведь каждому соответствует взаимно однозначно единичный морфизм?)
2. В отличие от ориентированного графа, где если A-> B, то на этом всё, морфизмы категории можно комбинировать, и получаются тоже морфизмы. То есть морфизмы это пути между вершинами (с учётом того, что можно впихнуть еще единичных морфизмов любое количество по пути).
Морфизм - это стрелка.
AZ
Renat Amirov
Морфизм - это стрелка.
Это Идея
IJ
Renat Amirov
Морфизм - это стрелка.
Это синонимы. Просто когда мы изображаем категорию, скажем, из двух объектов A и B с морфизмами x:A -> B и y:B -> A, мы не изображаем на ней все существующие в ней морфизмы
RA
Категория - это объекты и стрелки.