
Гомо и когомо
Я миллион лет кормил читателей ХВ обещаниями рассказать, что такое гомологии и когомологии, кому они нужны, а кому нет. Сразу дисклэймер: большинство "технарей", читающих нашу семейную газету - программисты, и они слышали, что из этих -логий выросла т.н. "гомологическая алгебра", а из неё, - теория категорий (сначала простых, потом высших и производных, и наконец последний писк моды -
инфинити-категории). Якобы эти категории позволяют взглянуть на логику программирования с очень правильной точки зрения. Так вот, ничего про эти логические вещи я не знаю, а рассказывать буду "от сохи", про то, откуда ноги растут.
( Ab ovo ) А я пока прерву дозволенные речи, продолжение следует. Всем чмоки в этом чате. Очень жду реакции слушателей, - не перешла ли байка в заумь. Я на подобные сюжеты пока не замахивался, очкую что-то.