к
И вся работа с этим даст нам инфу и про изоморфные структуры про крумбликов и крумбление крумблястиками
Size: a a a
2019 June 19
KV
я про вот этот
Определение категории смущает или какое другое?
P
Он спорный, лучше читай Маклейна
Oℕ
Мне кажется, функции интуиция получше, чем отношения
ЕО
Он спорный, лучше читай Маклейна
У Маклейна гомотопии на гомотопиях, гомотопиями погоняют
KV
На Бартоша, вроде, никто ещё не жаловался, и гомотопий нет
ЕО
В его время теоркат вообще был удобным калькулюсом для резольвент
__
а задачник задачник есть?
P
На Бартоша, вроде, никто ещё не жаловался, и гомотопий нет
Я Бортоша не оч читал, ибо он программистский очень
P
Понятно, что надо под цели выбирать книгу
KV
Я Бортоша не оч читал, ибо он программистский очень
Там на каком-то моменте заканчивается С++ и дальше уже нормально
Oℕ
Oℕ
топология доминирует, но конкретно слово гомотопия не такое частое
KV
Ну можно на моменте про гомотопии сильно зажмуриться и не смотреть, без особого ущерба для усваивания материала
KV
А, это Маклейн
Oℕ
NI
Можно "про функции" такую вот интуицию предложить, совместимую с алгебраической —
стрелки, это какое-то подмножество функций.
Это не все функции, а только с какими-то 'хорошими' свойствами.
Довольно много, где удобно, на мой взгляд.
Например, куча категорий, где стрелки являются гомоморфизмами, вот такие.
стрелки, это какое-то подмножество функций.
Это не все функции, а только с какими-то 'хорошими' свойствами.
Довольно много, где удобно, на мой взгляд.
Например, куча категорий, где стрелки являются гомоморфизмами, вот такие.
2019 June 20
YP
Помогите с определением моноида. Алгебраическое понятно, но как перехожу к определение в тк затык.
Если моноид это категория с одним объектом, тогда я не понимаю куда девается его бинарная операция и единица. Ведь в категории с одним объектом по идее только идентити морфизм остается и все.
Если моноид это категория с одним объектом, тогда я не понимаю куда девается его бинарная операция и единица. Ведь в категории с одним объектом по идее только идентити морфизм остается и все.
P
Yuriy Pachin
Помогите с определением моноида. Алгебраическое понятно, но как перехожу к определение в тк затык.
Если моноид это категория с одним объектом, тогда я не понимаю куда девается его бинарная операция и единица. Ведь в категории с одним объектом по идее только идентити морфизм остается и все.
Если моноид это категория с одним объектом, тогда я не понимаю куда девается его бинарная операция и единица. Ведь в категории с одним объектом по идее только идентити морфизм остается и все.
А чем id не единица? А операция композиции — не бинарная операция?
YP
Композиция чего? Если у нас один объект в категории какие морфизмы кроме единственной идентити могут быть?