Oℕ
Из определения терминального объекта
Size: a a a
2018 March 18
KV
Композиция ведёт из A1 в A1, а из любого объекта в A1 ведёт только одна стрелка. Это касается и самого A1, значит, из A1 в A1 стрелка только одна. В категории при каждом объекте обязательно должен быть тождественный морфизм. Получается, это он и есть. Аналогично для A2.
VY
понятно, спасибо, вроде бы очевидно должно быть, но я подумал, что «только одна, кроме/не считая тождественной»
VY
🤦♂️ все понятно
2018 March 19
DM
как по-русски будет термин "pullback"?
DM
подсказали, "Расслоенное произведение"
NI
Да как только не называют...
Бывает и "обратный образ".
Бывает и "обратный образ".
NI
Я уже смирился с тем, что какие-то термины проще называть по-английски ;-)
ЕО
У нас в универе так называли -- пуллбек
NI
Вот-вот.
NI
А у вас категории преподавали?
Я думал, что их нигде не преподают. Это тайное знание %)
Я думал, что их нигде не преподают. Это тайное знание %)
ЕО
А у вас категории преподавали?
Я думал, что их нигде не преподают. Это тайное знание %)
Я думал, что их нигде не преподают. Это тайное знание %)
На чистмате СПбГУ преподавали на спецкурсах алгебраистам
ЕО
Говорят сейчас в общем курсе алгебры основные определения дают
NI
Нутам у вас есть Михаил Бондарко (жж — buddha239).
Не знаю, как он преподаёт классическую алгебру, но за применение категорий в алгебре он точно разбирается ;-)
Ну и в спецкурсах его (по крайней мере, про некоторые я слышал) без категорий абсолютно никак.
Не знаю, как он преподаёт классическую алгебру, но за применение категорий в алгебре он точно разбирается ;-)
Ну и в спецкурсах его (по крайней мере, про некоторые я слышал) без категорий абсолютно никак.
NI
Говорят сейчас в общем курсе алгебры основные определения дают
Хоть так. Уже неплохо.
ЕО
Нутам у вас есть Михаил Бондарко (жж — buddha239).
Не знаю, как он преподаёт классическую алгебру, но за применение категорий в алгебре он точно разбирается ;-)
Ну и в спецкурсах его (по крайней мере, про некоторые я слышал) без категорий абсолютно никак.
Не знаю, как он преподаёт классическую алгебру, но за применение категорий в алгебре он точно разбирается ;-)
Ну и в спецкурсах его (по крайней мере, про некоторые я слышал) без категорий абсолютно никак.
У нас там есть Генералов, который за теоркат по хардкору топит (потому что гомологический алгебраист). Ну и вообще среди профессоров кафедры алгебры (а их 5 штук, матиясевича умудрился забыл) хейтеров теорката нету
NI
У нас там есть Генералов, который за теоркат по хардкору топит (потому что гомологический алгебраист). Ну и вообще среди профессоров кафедры алгебры (а их 5 штук, матиясевича умудрился забыл) хейтеров теорката нету
Как-то среди алгебраистов я вообще хейтеров категорий не встречал.
Мож бывают, я не знаю. Например, среди специалистов по конечным группам ;-)
Авот среди всяких там функанщиков и особенно дифурщиков — это даа
Но очень не все, слава богу.
Немного знакомый функанщик (щас вообще доктор уже) даже меня немного попросвещал за категорию (т.е., вполне в категорных терминах) Top и рядом ;-)
Мож бывают, я не знаю. Например, среди специалистов по конечным группам ;-)
Авот среди всяких там функанщиков и особенно дифурщиков — это даа
Но очень не все, слава богу.
Немного знакомый функанщик (щас вообще доктор уже) даже меня немного попросвещал за категорию (т.е., вполне в категорных терминах) Top и рядом ;-)
2018 March 20
CE
Как-то среди алгебраистов я вообще хейтеров категорий не встречал.
Мож бывают, я не знаю. Например, среди специалистов по конечным группам ;-)
Авот среди всяких там функанщиков и особенно дифурщиков — это даа
Но очень не все, слава богу.
Немного знакомый функанщик (щас вообще доктор уже) даже меня немного попросвещал за категорию (т.е., вполне в категорных терминах) Top и рядом ;-)
Мож бывают, я не знаю. Например, среди специалистов по конечным группам ;-)
Авот среди всяких там функанщиков и особенно дифурщиков — это даа
Но очень не все, слава богу.
Немного знакомый функанщик (щас вообще доктор уже) даже меня немного попросвещал за категорию (т.е., вполне в категорных терминах) Top и рядом ;-)
Не Хелемский?
NI
Не Хелемский?
Неа. А кто это такой? Фамилия, как будто бы, знакомая.
CE
Он тоже за внедрение категорных идей в функан