Телеграмм чат группы ru_catheory страница 89

у нас по пятницам на работе обсуждение лекций Бартоша
потом иногда с тупыми вопросами сюда доползаю

Mikhail Levchenko in Теория категорий

14:33пожаловаться #1

Nick Ivanych

https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
Вот это, да?
Вроде, ничотак. Важные вещи в оглавлении есть ;-)

Bartosz Milewski's Programming Cafe

Category Theory for Programmers: The Preface

Table of Contents Part One Category: The Essence of Composition Types and Functions Categories Great and Small Kleisli Categories Products and Coproducts Simple Algebraic Data Types Functors Functo…

Ага, она самая, у него еще на ютубе курс лекций есть по этой книге (вернее, кажется, наоборот, книгу он написал по курсу лекций на ютубе)

Alexander Vershilov in Теория категорий

14:33пожаловаться #2

пните меня, если что-то соберётесь?

Alexander Vershilov in Теория категорий

14:33пожаловаться #3

а то я за траффиком не поспеваю

14:34пожаловаться #4

имхо, просто нужен какой-то план и попутчики для изучения
за деталями можно и сюда прийти

14:34пожаловаться #5

Бартош вроде решает вопрос плана и базового материала

14:34пожаловаться #6

Mikhail Levchenko

если не ошибаюсь там сначала блог-посты были, а потом из них скомпилил книгу + лекции

14:36пожаловаться #7

Daniel Matveev

имхо, просто нужен какой-то план и попутчики для изучения
за деталями можно и сюда прийти

мы начинали по awodey заниматься, там куча скользских моментов возникала в упражнениях - шарящий человек очень помогает кмк с этим как раз

14:38пожаловаться #8

а коллективно как-то лучше, потому что можно кросс-проверкой чужих ответов/решений/доказательств заниматься

14:38пожаловаться #9

можно ещё по спиваку попробовать ;)

14:38пожаловаться #10

у меня спивак лежит где-то на полке, его ругают много

14:39пожаловаться #11

он недавно вторую книгу начал писать, я кажется кидал

14:41пожаловаться #12

там довольно внятно вроде

14:41пожаловаться #13

я не видел, не успеваю за чатами (

14:41пожаловаться #14

с предпорядков начинается, потом моноидальное

14:41пожаловаться #15

это если искать что то не привязанное к программизму

14:41пожаловаться #16

а, я в твиттере видел

14:42пожаловаться #17

Denis Redozubov

У меня с МакЛейном так. Возможно это связано с тем что я далек от математики и очевидные вещи мне неочевидны.

14:42пожаловаться #18

мне кажется больший интерес как раз непривязанное представляет

14:42пожаловаться #19

МакЛейн еще хлеще может быть, но я не пробовал