← All posts tagged category

folex
? math theory category Я чото вот не понимаю этого вашего теорката. Вот взяли группу. А теперь хотим поменять название. Скажем, что это категория.
И тогда операция станет объектом, а элементы множества — морфизмами. Как так?
Ну вот допустим есть мультипликативная группа, построенная на действительных числах.
Тогда, если верить "новому розеттскому камню" — * — обьъект, числа — морфизм
5*6 композиция морфизмов
Но они же совсем не меняют *
Как таким легким движениям в названии структуры, она превращается из дико важной в такую тривиальную, состоящую из одних лишь id?

А как выглядит такой морфизм? 5 выглядит так:
5: {} → {} ?
Ничегонепонятно.