math categories topos en.wikipedia.org
синтетическая дифференциальная геометрия — синтетическая (в противовес аналитической) формулировка нестандартного анализа (и, собственно, геометрии) с помощью рассуждений в рамках интуиционистской логики
fuw.edu.pl
math.ias.edu
подсказали на ##categorytheory как пример прикладной теории топосов, очень понравилось

fp categories Haskell strictlypositive.org — страница Конора Макбрайда, автора Epigram

sneezy.cs.nott.ac.uk — termly seminar on functional programming and related topics
strictlypositive.org — Differential Calculus with Datatypes
strictlypositive.org — cheat sheets

math algebra categories ? monoids are the 'commutative algebras' in sets with direct products — фраза из neverendingbooks по поводу статьи Антона Дейтмара; не могу понять, что имеется в виду

math categories mathoverflow.net — main theorems of category theory and their applications

math categories akuklev.livejournal.com — о категориях популярно

math fp categories Agda web.student.chalmers.se github.com gitorious.org — category theory in Agda

math categories math.lsa.umich.edu — работы по вычислительной теории категорий и категориальной логике

math categories явно используются произведения и копроизведения в категории запятой, неявно (в факторизации) — уравнители и универсальные квадраты. объекты конструируются на основе таковых из категории конечных множеств с использованием наследования копределов (а посредством дуальности — и пределов) в категорию запятой. операции образа и обратного образа на стрелках вызываются из классификатора подобъектов, и также вычисляются посредством пределов и копределов в категории конечных множеств

зачем всё это? чтобы посчитать таблицы истинности булевой алгебры :)

math categories topos ncatlab.org — проект nLab перешёл к стадии публикаций наработанных материалов. первый выпуск — "неформальное введение в теорию топосов" Тома Лейнстера

math categories TQFT (of dimension d) is a ⊗-functor Z : Cob(d) → CVect

у меня теперь есть три разных кубика Рубика

categories мне очень нравится фраза unique up to unique isomorphism. особенно в контексте n-категорий

fp categories nponeccop.livejournal.com — elementary level объяснения зависимых типов: for instance, let C be a small category and consider the notion of a C-diagram in Set, i.e. a functor F : C → Set

categories обращаем внимание читателя, что, согласно устоявшейся терминологии, универсальный квадрат является копределом, а коуниверсальный квадрат — пределом

math categories linux.org.ru — какой шикарный тред получился

math categories ? аксиома выбора (в общем виде) в некоторой категории утверждает, что все эпиморфизмы этой категории являются расщеплёнными (имеют правый обратный). какому теоретико-множественному понятию соответствует утверждение о том, что все мономорфизмы в некоторой категории являются расщеплёнными (имеют левый обратный)? кроме того, что в дуальной категории выполняется аксиома выбора

categories programming CS slideshare.net — Category theory, Monads, and Duality in the world of (BIG) Data

categories programming habrahabr.ru — монадотроллинг на хабре, перевод статьи Влада Патрышева

math categories cheng.staff.shef.ac.uk/degeneracy/cheng-gurski-degeneracy.pdf — периодическая таблица слабых n-категорий, с рассмотрением отношений между дегенеративными случаями

math categories presheaf.com — online-рисовалка коммутативных диаграмм поверх XY-Pic

math categories programming blog.sigfpe.com — лемма Йонеды на примере реверс-инжениринга абстрактной Haskell-машины