ЗП
Возможная идея - это такой механизм элиминирования предикатов (типа ифа), чтобы получить две ветки, где в каждой ветке будет аргумент предиката
ну если + это Either то похоже на распараллеливание какое-то
Size: a a a
2018 August 31
AG
ну типа пометить A результатом от предиката
2018 September 01
Oℕ
Во всей статье используется один раз в примере про сортировку вставками.
Простая утилитка, чтобы выразить очевидное для нормального языка действие в категорной этом конкатенативной записи
Простая утилитка, чтобы выразить очевидное для нормального языка действие в категорной этом конкатенативной записи
2018 September 02
NK
Вообще, как по мне, ботать теоркат без привязки к другой математике -- аутизм. Поэтому лучше всего читать какой-нибудь учебник по алгтопу
Плюсую, а ещё есть хорошие lecture notes по курсу алгебраической геометрии от Рави Вакиля, там всё с нуля и ноль этот -- теоркат, однако для упражнений полезно, конечно, иметь хоть какой-то опыт написания доказательств (там (у Вакиля) ничего в начале особенного прям нет, достаточно практики с теорией групп)
NK
NI
2018 September 13
AT
немного оффтопик, но может кто-то подскажет, есть ли спец. имя для моноидов (_, +, 0) с таким свойством :
?
(m + n = 0) -> (m = 0) /\ (n = 0)
?
AT
неразложимый юнит? что-то поиск и википедия ничего хорошего не подсказывают
NI
Это отсутствие обратных элементов для всех ненулевых.
AT
так в моноидах и не обязательно должны быть обратные элементы
NI
Но они могут быть. Но если выполняется это утверждение, то всё.
AT
а есть какое-нибудь греческое/латинское слово для этого?
NI
Гм. Я немного растерян...
Надо бы спросить, есть ли для сопряжённых функторов греческое или латинское слово...
Надо бы спросить, есть ли для сопряжённых функторов греческое или латинское слово...
AT
это же можно назвать свободный моноид?
ML
Насколько верно утверждение, что свободный моноид === список?
AT
я некорректно выразился — скорее это одно из свойств своб. моноида
к
Насколько верно утверждение, что свободный моноид === список?
наверное лучше сказать, что изоморфно, список это как бы выровненный свободный моноид
к
это же можно назвать свободный моноид?
это же уже свойство отношения, а у свободного нет отношений
AT
да, только требование этого свойства делает моноид “свободнее” )
ML
наверное лучше сказать, что изоморфно, список это как бы выровненный свободный моноид
выровненный - т.е. при присоединении 0 к нему он это игнорирует?