λ
законы тождества не доказываются, насколько я знаю
Size: a a a
2018 March 11
DM
мы не то чтобы не можем, это аксиома
вопрос не про определение id, а про то как отличить его от другого морфизма
к
я все еще не понимаю
вот имею я
f : A -> B
g : A -> B
какая для теорката вообще разница между этими стрелками?
вот имею я
f : A -> B
g : A -> B
какая для теорката вообще разница между этими стрелками?
к
они связывают одинаковые объекты
λ
я все еще не понимаю
вот имею я
f : A -> B
g : A -> B
какая для теорката вообще разница между этими стрелками?
вот имею я
f : A -> B
g : A -> B
какая для теорката вообще разница между этими стрелками?
вы не задали еще стрелки
к
f и g - две стрелки
λ
нет
DM
категория из одного объекта булевых значений
два морфизма - id и (/=)
как их отличить?
два морфизма - id и (/=)
как их отличить?
к
никак, для теорката это одна и та же стрелка ведь, он же не знает что внутри
OP
Я думаю, по умолчанию все стрелки считаются различными
к
разве нет?
λ
f и g - две стрелки
это задание множества стрелок
и эти множества действительно "изоморфны"
и эти множества действительно "изоморфны"
DM
никак, для теорката это одна и та же стрелка ведь, он же не знает что внутри
это разные стрелки, но отличить их нельзя
к
почему разные?
λ
это не разные стрелки
DM
физически разные
λ
это вообще не стрелки
DM
у них совпадают домены и кодомены
DM
это вообще не стрелки
ват?
λ
ребята, это не стрелки
это вы задали hom (set, class)
это вы задали hom (set, class)