AZ
А, ок
Size: a a a
2019 August 28
AZ
да, чет тупанул
IJ
(see also: partial bijection)
2019 August 29
lg
george66 с dxdy
AZ
а чей это учебник - https://drive.google.com/file/d/1G4wierA0s8VC6qs3PbHnC5vXH32Fv--6
по-моему он ужасен
AZ
по крайней мере автор обещает не давать ничего сложного и с первой главы нихрена не понятно
AZ
но конечно у кого-то может быть иное мнение
a
george66 с dxdy
https://dxdy.ru/topic115836.html ага, нашел
a
по крайней мере автор обещает не давать ничего сложного и с первой главы нихрена не понятно
мне было все понятно. лучшая книжка из того что пока видел
a
но я знаю всякое ФП, так что возможно из-за этого
AZ
мне было все понятно. лучшая книжка из того что пока видел
Ну я полностью прочитал красную книгу со всеми упражнениями, начал читать милевского, и сейчас я только начинаю понимать о чем он там в первой главе вещал
AZ
он сразу начинает про Set/Cat/кольца/группы, хотя у меня лично в универе например ни групп ни колец не было в программе
ЕО
по-моему он ужасен
Ну, написано конечно не очень. Но зато без топологии и абстрактной алгебры, как завсегдатаи чата любят :)
SM
Для категорий есть аналог понятия мощности? Я не совсем понимаю, как существование категории всех категорий приводит к парадоксу. Парадокс Кантора опирается на понятие мощности множества, но для категорий такого же нет?
SM
Не совсем понял, при чём тут эта ссылка, но парадокс Рассела кажется прояснил, в чём проблема
KV
Для категорий есть аналог понятия мощности? Я не совсем понимаю, как существование категории всех категорий приводит к парадоксу. Парадокс Кантора опирается на понятие мощности множества, но для категорий такого же нет?
Если теорию категории формулировать в терминах теории множеств, объекты и морфизмы образуют классы, в некоторых случаях множества. Так что связь с мощностью множеств прямая
AZ
Ну, написано конечно не очень. Но зато без топологии и абстрактной алгебры, как завсегдатаи чата любят :)
милевски тоже без них
AZ
но у меня не было ощущения, что я должен пойти в библиотеку физмата набрать книжек чтобы понять о чем введение