AZ
это описывает как &&, так и ||
Size: a a a
2019 August 27
KV
А как же f o f?
YS
(Bool, (&&)):
Bool
↻ False
↻ True
(.) = (&&)
рисовать лень, простите
Bool
↻ False
↻ True
(.) = (&&)
рисовать лень, простите
KV
это описывает как &&, так и ||
В общем-то, так и должно быть, это одинаковые категории получатся
NI
В общем-то, так и должно быть, это одинаковые категории получатся
Изоморфные.
YS
В общем-то, так и должно быть, это одинаковые категории получатся
нет, диаграммы одинаковые, а композиции разные
KV
Изоморфные.
А почему не одинаковые?
KV
нет, диаграммы одинаковые, а композиции разные
Таблица композиций та же самая будет
YS
А почему не одинаковые?
(&&) /= (||)
YS
Таблица композиций та же самая будет
(&&) /= (||)
YS
False && True /= False || True
KV
Ну ёлки-палки, оно же чем угодно может быть. Структура одинаковая — категории одинаковые
KV
Хоть горшком назовите
NI
А почему не одинаковые?
Вопрос о том же, одинаковые ли множества из двух стульев и двух столов.
YS
Ну ёлки-палки, оно же чем угодно может быть. Структура одинаковая — категории одинаковые
изоморфизм /= равенство
NI
изоморфизм /= равенство
Изоморфизм на категориях, это достаточно жёсткое понятие.
NI
И обычно, его не используют.
KV
Вопрос о том же, одинаковые ли множества из двух стульев и двух столов.
Давайте для начала выясним, как строятся стулья и столы в теории множеств. Если одинаково , то одинаковые
KV
изоморфизм /= равенство
А я не понимаю, с чего вдруг здесь не равенство
YS
А я не понимаю, с чего вдруг здесь не равенство
потому что композиция является частью категории, а композиции (&&) и (||) — разные