Size: a a a

Теория категорий

2021 October 14

NI

Nick Ivanych in Теория категорий
Ну тогда рассказывай подробнее, как это "получается".
источник

ЕО

Евгений Омельченко... in Теория категорий
Вообще декартово-замкнутая должна получаться
источник

AG

Alex Gryzlov in Теория категорий
это ж древняя копипаста про эрланг
источник

AG

Alex Gryzlov in Теория категорий
я кстати тоже никогда не понимал почему не декартова
источник

ЕО

Евгений Омельченко... in Теория категорий
Недекартова вроде во всяких подструктурных логиках, типа на афинных/линейных типах и т.д.
источник

AG

Alex Gryzlov in Теория категорий
ага
источник

DG

Denis Gabidullin in Теория категорий
Здравствуйте, Олег! Я всю жизнь хотел начать зарабатывать бапки, но не знал как правильно это делать. Я работал курьером, но пацаны говорят, что это отстойная работа, т.к. задача о курьере NP-полная (полная нереальных пи..цов), поэтому реальных денег она не принесет. Я пробывал делать динамические сайты на РНР и МуSQL, но младший брат нашел мои пароли и стер все сайты, я только зря потратил 1799 рублей на курс того поца в пинжаке. Я пробывал самостаятельно выучить теорию котегорий, но непонел, почему при построении котегории, где объекты - типы данных, а морфизмы - функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симитричная моноидальная катигория (подобно Hilb, где где объекты - канечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы - линейные операторы), но не декартова, каковой является Set. Это завело меня в тупик, и я начал пить. Но встретив Ваш курс "Секреты Создания Профессиональных Эрланг Оперденей С Использованием Базы Данных Mnesia", я понел, что спасен! Это совершенно замечательный курс, он открыл мне глаза, теперь я знаю как надо делать бапки, а также как производить горячую замену кода, выполняющего в этом момент расчет баланса предприятия. Я рекомендовал Ваш курс всем пацанам на раёне, они уже пошли добывать на него деньги, что резко подняло уровень преступности, но это ненадолго, и я уверен, что того стоит.
источник

DG

Denis Gabidullin in Теория категорий
@elemir90, может бан?
источник

ЕО

Евгений Омельченко... in Теория категорий
О, кто-то успел до меня
источник

DG

Denis Gabidullin in Теория категорий
👍
источник

X

XÆA-XII in Теория категорий
Вот вы забанили человека, а может он хотел иметь дом у моря, работать два часа в неделю и знать теорию категорий...
источник

AG

Alex Gryzlov in Теория категорий
кто хочет - ищет возможности, кто не хочет - оправдания
источник
2021 October 16

m

monagatep in Теория категорий
Вот на такое вдруг наткнулся (свежее, 3 сентября 2021-го):
источник

m

monagatep in Теория категорий
источник

m

monagatep in Теория категорий
Category Theory by Example
источник

m

monagatep in Теория категорий
источник

s

suhr in Теория категорий
Пределы и йонеда в конце, а алгебра вообще приложением.
источник

DG

Denis Gabidullin in Теория категорий
Сразу в мусор?)
источник

m

monagatep in Теория категорий
Хуже того, там даже примеры на Haskell!
источник

s

suhr in Теория категорий
Типа того, да.
источник