теория категорий
May. 5th, 2010 01:00 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
109математики отличаются от физиков тем, что уделяют очевидным, с точки зрения нематематика, вещам столько же, если не больше, времени, сколько вещам далеко не столь очевидным, с точки зрения нематематика.
например, зачем столько времени обсасывается identity morphism, его свойства и существование? покажите мне физический... ладно, даже математический объект, для которого не существует identity morphismа.
а потом где-нибудь напишут без пояснений "из чего следует, что" - и сиди, чеши репу, почему следует.
(это я баеза читаю)
например, зачем столько времени обсасывается identity morphism, его свойства и существование? покажите мне физический... ладно, даже математический объект, для которого не существует identity morphismа.
а потом где-нибудь напишут без пояснений "из чего следует, что" - и сиди, чеши репу, почему следует.
(это я баеза читаю)
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
(no subject)
Date: 2010-05-05 11:59 pm (UTC)слева от стрелочки (домен) и справа от стрелочки (кодомен).
домен может быть, например, "натуральные числа", а кодомен - "рациональные". в зависимости от множества морфизмов. одного. морфизм - это стрелочка, сам же сказал.
2 -> 3, morphism #1, отношение "меньше"
2 -> 2, morphism #2, отношение "равно"
оба в одном множестве.
я намекнул, кстати, вопросом "что такое отношение?" а ты проигнорировал. нету никаких ещё "отношений" в базовых определениях, только песок и говно. какие констрейнты ты налагаешь на своё "множество морфизмов"? если никаких, то почему там не могут быть и такие морфизмы, и сякие?
(no subject)
Date: 2010-05-06 12:01 am (UTC)(no subject)
Date: 2010-05-06 12:22 am (UTC)(no subject)
Date: 2010-05-06 12:10 am (UTC)Главное чтобы аксиомы выполнялись.
Называй этот свой набор морфизмов как хочешь, "морфизмы для меньше плюс морфизмы для равно", аксиомам насрать.
> какие констрейнты ты налагаешь на своё "множество морфизмов"?
Сказано в определении морфизма. Чтобы в множестве присутствовал айдентити морфизм для каждого объекта (и чтобы каждый морфизм композируясь с ним справа или слева давал себя же), и чтобы для любой пары морфизмов с общим средним объектом существовал морфизм из первого в третий.
(no subject)
Date: 2010-05-06 12:31 am (UTC)проблема нас всех, наверное, заключается в том, что сложность уже понятого недооценивается, а сложность ещё не понятого - переоценивается. bias такой. поэтому ты злился на мою тормознутость.
(внимание! я не доёбываюсь до терминов!) не уверен, что до конца понимаю "требуется, чтобы существовал морфизм из первого в третий". ну то есть опять нужен пример, когда морфизмы X->Y и Y->Z есть, а X->Z - нету. и тогда это типо не категория.
(no subject)
Date: 2010-05-06 12:35 am (UTC)Вот как они есть -- там нет ни айдентити, ни композиции. Их можно добавить, но получится уже что-то совершенно другое.
(no subject)
Date: 2010-05-06 12:39 am (UTC)(no subject)
Date: 2010-05-06 12:45 am (UTC)