Size: a a a

2021 June 23

K

Kir in Haskell
Я natVal применял, для O(1) выбора в гетерогенном "списке"
источник

A

Andrey in Haskell
natVal тоже применял, я на них приоритеты для карты сайта делал
источник

K

Kir in Haskell
Ы!
источник

ДК

Дима Ковалев... in Haskell
Математикой всегда интересовался, в какой-то момент пришёл к тому, что начал читать алгебру Ленга
источник

ДК

Дима Ковалев... in Haskell
Ну и до фактор-групп и теорем о гомоморфизмах кое-как дочитал
источник

ДК

Дима Ковалев... in Haskell
О категориях были представления, аксиомы мог сформулировать
источник

MK

Maxim Koltsov in Haskell
по закону коммунизма...
источник

ДК

Дима Ковалев... in Haskell
Пххахахаха
источник

ДК

Дима Ковалев... in Haskell
Да
источник

ДК

Дима Ковалев... in Haskell
Изоморфный образ группы,
В честь победы коммунизма,
Изоморфен фактор-группе
По ядру гомоморфизма
источник

ДК

Дима Ковалев... in Haskell
Такой перевод/версию помню
источник

D

Dreamerinnoise in Haskell
шок, че ещё можно чувствовать
источник

MK

Maxim Koltsov in Haskell
жаль, что коммунизм кончился, а присказку лучше не придумали
источник

NI

Nick Ivanych in Haskell
Гомоморфный образ группы!!
источник

NI

Nick Ivanych in Haskell
А так, это надо рассмотреть соответствующий коуравнитель и там всё очевидно.
источник

MK

Maxim Koltsov in Haskell
Опять категорщики лезут в алгебру
источник

NI

Nick Ivanych in Haskell
Руки загребущие, даааа
источник

DG

Denis Gabidullin in Haskell
И все вместе лезут в Haskell))
источник

ДК

Дима Ковалев... in Haskell
Ой, либо запомнил криво, либо пересказ был кривой
источник

ДК

Дима Ковалев... in Haskell
Скорее первое
источник