← All posts tagged categories

jtootf
math topos categories en.wikipedia.org
синтетическая дифференциальная геометрия — синтетическая (в противовес аналитической) формулировка нестандартного анализа (и, собственно, геометрии) с помощью рассуждений в рамках интуиционистской логики
fuw.edu.pl
math.ias.edu
подсказали на ##categorytheory как пример прикладной теории топосов, очень понравилось
jtootf
? math algebra categories monoids are the 'commutative algebras' in sets with direct products — фраза из neverendingbooks по поводу статьи Антона Дейтмара; не могу понять, что имеется в виду
jtootf
math categories явно используются произведения и копроизведения в категории запятой, неявно (в факторизации) — уравнители и универсальные квадраты. объекты конструируются на основе таковых из категории конечных множеств с использованием наследования копределов (а посредством дуальности — и пределов) в категорию запятой. операции образа и обратного образа на стрелках вызываются из классификатора подобъектов, и также вычисляются посредством пределов и копределов в категории конечных множеств

зачем всё это? чтобы посчитать таблицы истинности булевой алгебры :)
jtootf
math topos categories ncatlab.org — проект nLab перешёл к стадии публикаций наработанных материалов. первый выпуск — "неформальное введение в теорию топосов" Тома Лейнстера
jtootf
categories обращаем внимание читателя, что, согласно устоявшейся терминологии, универсальный квадрат является копределом, а коуниверсальный квадрат — пределом
jtootf
? math categories аксиома выбора (в общем виде) в некоторой категории утверждает, что все эпиморфизмы этой категории являются расщеплёнными (имеют правый обратный). какому теоретико-множественному понятию соответствует утверждение о том, что все мономорфизмы в некоторой категории являются расщеплёнными (имеют левый обратный)? кроме того, что в дуальной категории выполняется аксиома выбора
jtootf
math categories cheng.staff.shef.ac.uk/degeneracy/cheng-gurski-degeneracy.pdf — периодическая таблица слабых n-категорий, с рассмотрением отношений между дегенеративными случаями