G
Сколько элементов содержит
(Fin n, (Fin m, Fin k)) ?
(Fin n, (Fin m, Fin k)) ?
Столько же
Size: a a a
2020 February 28
G
И сколько тогда между ними изоморфизмов
Этот момент я не уяснил. Откуда факториал взялся?
G
А, кажется понял
G
{1, 6, 5}
Вот все перестановки:
{1, 6, 5}
{1, 5, 6}
{6, 1, 5}
{6, 5, 1}
{5, 1, 6}
{5, 6, 1}
Если мы соединим прямо вертикально элементы всех перестановок с изначальным множеством, то получим биекции, которые и будут изоморфизмами в Hask.
Но только беда в том, что изоморфизмов будет 2 * N * N!, а не N!, где N - мощность множества
Вот все перестановки:
{1, 6, 5}
{1, 5, 6}
{6, 1, 5}
{6, 5, 1}
{5, 1, 6}
{5, 6, 1}
Если мы соединим прямо вертикально элементы всех перестановок с изначальным множеством, то получим биекции, которые и будут изоморфизмами в Hask.
Но только беда в том, что изоморфизмов будет 2 * N * N!, а не N!, где N - мощность множества
Oℕ
{1, 6, 5}
Вот все перестановки:
{1, 6, 5}
{1, 5, 6}
{6, 1, 5}
{6, 5, 1}
{5, 1, 6}
{5, 6, 1}
Если мы соединим прямо вертикально элементы всех перестановок с изначальным множеством, то получим биекции, которые и будут изоморфизмами в Hask.
Но только беда в том, что изоморфизмов будет 2 * N * N!, а не N!, где N - мощность множества
Вот все перестановки:
{1, 6, 5}
{1, 5, 6}
{6, 1, 5}
{6, 5, 1}
{5, 1, 6}
{5, 6, 1}
Если мы соединим прямо вертикально элементы всех перестановок с изначальным множеством, то получим биекции, которые и будут изоморфизмами в Hask.
Но только беда в том, что изоморфизмов будет 2 * N * N!, а не N!, где N - мощность множества
откуда у вас такая формула получилась то
Oℕ
ну вот N = 2 , у вас 8 изоморфизмов? когда функций всего 4
G
Почему изоморфизма 2 у множества из двух элементов?
G
Вообще я неправильно тут написал
A
ну потому что a->a, b->a это не изоморфизм
G
Понял
A
надо отправить ВСЕ и чтобы все попали в разные места. Соответственно это просто перестановка.
Oℕ
восхищаюсь вашим трудолюбием
Oℕ
и почерком
ЗП
и почерком
почерк как почерк)
2020 February 29
EP
Чем отличестся Class от Sort ?
МБ
Emelian Piker (Евгений)
Чем отличестся Class от Sort ?
Класс - это нестрогое понятие, используют когда хотят говорить о наборах множеств, но не хотят запариваться с доказательством того, что это множество. Sort - строгое, используется для описания... ну... сортов элементов в алгебрах и сигнатур операторов. Это синтаксическое понятие, которое потом, обычно (но не обязательно) моделируется множествами
EP
Класс, спасибо
Oℕ
Скажите, а видел ли кто какие-то работы с хорошей вводной в double category?