к
окей, что есть стрелка тогда? По моему ее всегда определяют как пару двух объектов одной категории
Size: a a a
2018 March 11
OP
Короче, дальше я нарисовал такое
λ
окей, что есть стрелка тогда? По моему ее всегда определяют как пару двух объектов одной категории
стрелками они станут когда зададите тела
причем если тело будет одно и то это будет одна и та же стрелка
причем если тело будет одно и то это будет одна и та же стрелка
к
какие тела?
к
в теоркате?
OP
И вопрос в том, коммутирует ли это
к
вы сейчас ломаете все мое представление о теоркате
λ
в теоркате?
а сорян, я думал это хаскелёвое, ну тогда вам решать, разные это стрелки или нет))
λ
ну то есть, нет же никакой доп инфы
можно просто сказать f = g
можно просто сказать f = g
к
я был уверен (да и все так писали) что теоркат максимально абстрагирован от содержания объектов и стрелок и оперирует лишь фактом наличия отношений между какими-то объектами
λ
или f != g
и рассуждать дальше
поместив это в контекст
и рассуждать дальше
поместив это в контекст
λ
я понимаю о чём вы говорите, сам недавно через это прошёл
но вот именно не заглядывая внутрь, можно начать различать стрелки между двумя объектами (одними и теми же)
но вот именно не заглядывая внутрь, можно начать различать стрелки между двумя объектами (одними и теми же)
λ
примеры: законы тождества, определение изоморфизма
DM
есть случаи когда морфизмы между двумя объектами различимы, а когда нет
еще раз отправлю к эпи и мономорфизмам
еще раз отправлю к эпи и мономорфизмам
DM
это должно прояснить проблему
AC
Прочитал торжество изоморфизма
λ
я был уверен (да и все так писали) что теоркат максимально абстрагирован от содержания объектов и стрелок и оперирует лишь фактом наличия отношений между какими-то объектами
можно моноид кстати рассмотреть
там как раз есть только один объект и куча стрелок A -> A
и одна единичная, и все эти стрелки разные
там как раз есть только один объект и куча стрелок A -> A
и одна единичная, и все эти стрелки разные
AG
кстати да, вот моноид
к
ну вот собственно я всегда считал категорный моноид объектом с одним морфизмом, так как для теорката разницы между этими морфизмами нет (так как он не знает что лежит за объектом, чтобы увидеть разницу между стрелками или хотя бы их множество)