теория категорий

[109]

математики отличаются от физиков тем, что уделяют очевидным, с точки зрения нематематика, вещам столько же, если не больше, времени, сколько вещам далеко не столь очевидным, с точки зрения нематематика.

например, зачем столько времени обсасывается identity morphism, его свойства и существование? покажите мне физический... ладно, даже математический объект, для которого не существует identity morphismа.

а потом где-нибудь напишут без пояснений "из чего следует, что" - и сиди, чеши репу, почему следует.

(это я баеза читаю)

Comments

[faceted-jacinth.livejournal.com]

Соответственно если у нас есть два морфизма f, g из A в B (оба из A в B), то разумеется 1) из B может выходить сколько угодно морфизмов в другие объекты, это даже не интересно, 2) что я пытался сказать, если у нас есть морфизм h: B -> C, его композиции с теми морфизмами могут быть различны,
x: A -> C = h * f
y: A -> C = h * g
x != y