В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

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

559 membersпожаловаться на группу
2019 November 14

МБ

Михаил Бахтерев in Теория категорий
Kirill Valyavin
По крайней мере в записях лекций он её использовал для доказательства чего-то ещё существенного несколько раз
Да. Но было видео, где он доказывал какой-то изоморфизм линз, и я так и не понял, зачем. Но было очень крутое жонглирование Йонедой. И в третьем сезоне было несколько моментов
источник
18:21пожаловаться#1

KV

Kirill Valyavin in Теория категорий
Мне казалось, что крутое жонглирование и есть прикладной смысл, не?
источник
18:22пожаловаться#2

IJ

Igor 🐱 Jirkov in Теория категорий
Михаил Бахтерев
Мне кажется, он иногда слишком уж заморачивается с леммой Йонеды. Не очень бывает понятно, какой за этим прикладной смысл. Могу ошибаться
Мне кажется, на йонеде и надо побольше сидеть, потому что непростая вещь.
источник
18:22пожаловаться#3

МБ

Михаил Бахтерев in Теория категорий
Nick Ivanych
В хаскеле считать количества элементов в типе ;-)
Ну... Я тоже решал эту задачку на codewars, но так и не понял, зачем. Есть юзкейсы?
источник
18:22пожаловаться#4

МБ

Михаил Бахтерев in Теория категорий
Igor 🐱 Jirkov
Мне кажется, на йонеде и надо побольше сидеть, потому что непростая вещь.
Может быть. Не... Она важна. На ней много математических результатов основано. Но лично мне не до конца понятен её "программерский" смысл.
источник
18:24пожаловаться#5

NI

Nick Ivanych in Теория категорий
Зигохистоморфный Препроморфизм
инхабитантов :D
Да можно и просто -- обитателей!
источник
19:35пожаловаться#6

t

toriningen in Теория категорий
Жильцов
источник
20:05пожаловаться#7

CE

Cohesive Elijah in Теория категорий
toriningen
Жильцов
Постояльцев
источник
20:17пожаловаться#8

AT

Anton Trunov in Теория категорий
Cohesive Elijah
Постояльцев
Это напомнило мне то отличное время, которое я как-то провел в отеле Гильберта.
То были лишь считаные дни, но впечатления они оставили неизгладимые.
источник
20:28пожаловаться#9

NR

Nzr Rbzv in Теория категорий
Anton Trunov
Это напомнило мне то отличное время, которое я как-то провел в отеле Гильберта.
То были лишь считаные дни, но впечатления они оставили неизгладимые.
У них там и ресторан колоритный, интересные скатерти за дизайном Улама.
источник
20:49пожаловаться#10

k

kucheryavenkov in Теория категорий
вы ещё про бутылки Клейна в баре вспомните
источник
21:08пожаловаться#11

k

kucheryavenkov in Теория категорий
и ковры Серпиньского в холле
источник
21:08пожаловаться#12

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
и салфетки в виде снежинок Коха
источник
21:08пожаловаться#13

ЗП

Зигохистоморфный Препроморфизм in Теория категорий
в горшках фрактальные деревья
и в вазах фрактальные листья папоротника
источник
21:09пожаловаться#14

B

Brenoritvrezorkre in Теория категорий
Когда съедаешь все ноль тарелок супа, и это логически валидно
источник
21:20пожаловаться#15
2019 November 15

RA

Renat Amirov in Теория категорий
Вот она непостижимая и вечно ускользающая Монада! :)
... прошел 1 час ...
Блин, опять ниче не понял. Не дано (
источник
08:22пожаловаться#16

DM

Daniel Matveev in Теория категорий
Renat Amirov
Вот она непостижимая и вечно ускользающая Монада! :)
... прошел 1 час ...
Блин, опять ниче не понял. Не дано (
имхо, тема монады у него действительно не удачно раскрыта для учащихся
источник
08:34пожаловаться#17

DM

Daniel Matveev in Теория категорий
но судя по номеру лекции это и не о ней
источник
08:34пожаловаться#18

RA

Renat Amirov in Теория категорий
Да, он тут упомянул про монады. Конкретно будет позже..
источник
08:39пожаловаться#19

YS

Yuriy Syrovetskiy in Теория категорий
Renat Amirov
Вот она непостижимая и вечно ускользающая Монада! :)
... прошел 1 час ...
Блин, опять ниче не понял. Не дано (
вы пытаетесь понять монаду?
источник
08:44пожаловаться#20