SA
а пучок небоскреб?)
Size: a a a
2020 October 23
SA
его ты сегодня тоже резал?
SB
он разве съедобный?
SA
sheaf короче
SA
если ты дохуя англоговорящий
SB
я помню, что это тоже какое-то отношение имеет к теоркату, скорее всего очередное обобщение базового понятия. но деталей не знаю, нет.
SB
я только по верхам, базу знаю.
SA
окей
SB
да и то, скорее для общего развития, чем для делла
SA
язык пучков честно говоря более полезен чем общий теоркат на мой вкус
SA
а ты я смотрю большой фанат теорката
SA
мб и лемму йонеды можешь на раз выйти доказать)
SB
теоркат пришлось осилить из-за Хаскеля
SB
доказать -- нет, сформулировать наверно смог бы, если подумать-посидеть.
SB
но ЗОЧЕМ
SA
ну а хули нет
SB
в теоркате вообще доказательства достаточно простые
SA
ну да
SB
часто, хорошо визуализиурются
SA
там главное все значки и слова понимать