Сборка `программистских` статей "про категории"

Нуу, программистскими те объяснения можно считать условно, но всё-таки.
http://bartoszmilewski.com/category/category-theory/
Всё-всё не читал, но что проглядел — вроде, неплохо написано.
(жаль, но забыл уже, кто мне ссылку подогнал, а то поблагодарил бы)

Не любит меня виндовс.

А я его.
Купил ноутбук. Хотел попробовать, что там за виндовс-8.1. Ну, красивая игрушка, ну попробую, пусть пока будет.
Надо было сегодня много ездить в машине пассажиром.
Решил почитать, благо, что заряд ноутбук держит довольно долго.
Выяснил, что IE11 некорректно показывает некоторые ссылки, ну и поставил для них хром.
.ps, .dvi и .djvu показывать не умеет, ну и поставил соответствующие просмотрщики.
Ну поставил что-то стороннее, ну ничего страшного, всё обычно, как показалось сначала.
Но большинство сторонних программ рендерят содержимое в разрешении, у которого, навскидку, в 4 раза меньше пикселей!!
В итоге, всё выглядит коряво-пиксельно...
И если с этим мириться, то зачем тогда, спрашивается, мне эти 3200x1800...
В линуксах (не ради этого, но попробовал несколько LiveCD) такого не наблюдается (но и с чего бы...).

Может быть, кто-то знает, есть ли какие настроечки, что это поправить?
Хотяя, видимо, это уже только "спортивный" интерес — линукс я всё равно туда поставлю.


P.S.
Я таки ступил и подобные настройки есть (в свойствах программы).
Отчасти, меня извиняет то, что я в первый раз видел виндовс>=8 и даавно не видел не только виндовсов, но и gnome/kde/xfce/подобное -- отвыык, что ли...

Как переводится «globular»?

Уже сколько лет, как мучаюсь с подыскиванием русского слова каждый раз, когда про это заходит разговор, и в итоге, пишу «globular»...
Как переводятся термины «globe category», «globular set», «globular object», «globular operad»?
В биологии, органической химии и вообще чуть не везде, в "геометрически похожих" местах, насколько я знаю, не стесняются писать "глобулярный".
Допустимо ли это тут?
Нормально ли читается по-русски термин "глобулярная операда", например?

Смешной вопрос...

Ко мне поступила просьба —
Хочу попросить какую-нибудь книжку, где был бы хороший пример применения категорий в программировании. Желательно что-нибудь совсем попроще, потому что я это собираюсь рассказать на маленьком спецкурсе в Ноябрьске. Слушать будут студенты, обущающиеся информатике, так что самой темы программирования можно не бояться.

Человек функциональных языков не знает совсем.
Скорее всего, большинство тех студентов тоже не знают.
Но по крайней мере, Саша на каждом нашем семинаре бывает и уже что-то "понимает в категориях".
Про монады многое понимает со стороны математики. Ну в смысле, формальные вещи он знает, но опыта использования монад мало. Интуитивно склонялся (он алгебраист-решёточник) к отождествлению монады с оператором замыкания ;-)
Про моноидальные категории он в курсе и всякие моноиды в моноидальных категориях да действия моноида (например, модуль над моноидом в моноидальной катгеории).

И что ему присоветовать за книжку?...
Мотив поста такой, что наверное, я бы и сам мог рассказать, но книжек никаких не помню.
Как-то по-другому эта тема до меня доходила, не читал из таких книжек ни одну полностью с начала до конца.
Только куски выхватывал из разных книжек да статей.

Про детские фильмы

Вот кто-нибудь, подскажет мне, почему чуть не все детские фильмы, включая сказки, имеют таакие сценарии?
Они рассчитывают, что дети не заметят каких-то нестыковок сюжета и/или нелогичности поведения персонажей? По самым скромным оценкам, 90% детских фильмов имеют таакие сюжеты, что объяснить их, даже привлекая недюжинную фантазию и допуская всякие сказочные/фантастические допущения, весьма непросто.
Я вот даже и не знаю, можно ли такое детЯм показывать — я ведь очень не всё смогу объяснить сходу!
В детстве, мы развлекались и придумывали для фильмов логичные объяснения типаа — "почему так, а не идиот ли герой, что сделал вот так-то и пошёл туда-то."
Доставляло покруче самих фильмов! ;-)
Но сомневаюсь, что у аффтаров были подобные цели.
"Придумай-ка ты логичное объяснение!", - в этом ну прям что-то от 1984 есть :-)