Теория категорий [entries|friends|calendar]
Теория категорий

[ userinfo | livejournal userinfo ]
[ calendar | livejournal calendar ]

[20 Dec 2014|11:34pm]

66george
И теперь вопрос, что мне дальше писать. Чисто категорного материала осталось мало (пределы и копределы). Я хотел ещё написать большую развесистую главу про лямбда-исчисление, но тут выбор такой:
1) Писать, как Барендрегт (то есть, замалчивать самые сложные места);
2) Писать лучше Барендрегта, но для этого в данный момент у меня нет авторитета, отложим до лучших времён.
Замечено две опечатки и один умеренный ляп в не самом важном месте. Так что склоняюсь к тому, чтобы дописать пределы и копределы, исправить опечатки и пока закончить. Могу также разбить главу про сопряжённость на несколько разделов поменьше.
Вообще, первоначально был план "написать популярную брошюрку страниц на сто", план уже перевыполнен в два раза, пора заканчивать.
1 comment|post comment

Щедров в Москве [15 Dec 2014|12:30am]

66george
"Дорогие участники семинаров. Пересылаю информацию о предстоящих лекциях Андрэ Щедрова и Макса Кановича на факультете компьютерных наук ВШЭ.

From A. Scedrov:

Max and I are teaching a course at the new HSE location near the metro station Aeroport. Please see the schedule of the lectures at
http://aspirantura.hse.ru/cs/syllabus/collaborative
Basically I will be starting my part of the course (1-4) next week, December 16 and Max will be starting his part (5) the following week, December 21. If you or your colleagues have any students interested in this material, please let them know about the course."

Не знаю, пускают ли туда и какой нужен пропуск, спрашивайте Шеня (a_shen)
1 comment|post comment

Сборка `программистских` статей "про категории" [22 Nov 2014|01:16pm]

beroal
Originally posted by nivanych at Сборка `программистских` статей "про категории"
Нуу, программистскими те объяснения можно считать условно, но всё-таки.
http://bartoszmilewski.com/category/category-theory/
Всё-всё не читал, но что проглядел — вроде, неплохо написано.
(жаль, но забыл уже, кто мне ссылку подогнал, а то поблагодарил бы)
post comment

теория категорий пришла на смену UML [21 Oct 2014|02:54pm]

beroal
Вы увидите, что ТК:

- позволяет обоснованно, стройно и логично спроектировать классы
- пришла на смену UML

Отзывы людей, уже знакомых с ТК:

Теория категорий настолько универсальна, что в её терминах можно описать все, что угодно, например, математические выражения, алгоритмы или поход в магазин.

Евгений Черный.

Как же можно обойтись без восхищённых отзывов? Мы своей головой судить не можем. Монадические технологии идут на смену крестьянской лошадке! Концентрированная менеджерская уткоречь. «Вконтакте».

«С тех пор, как я начал заниматься теорией категорий, у меня повысилось самочувствие и появилось много жизненной энергии. Я чувствую себя на 20 лет моложе!»
27 comments|post comment

унификация термов [20 Oct 2014|02:33am]

beroal
Полемика по поводу Joseph A. Goguen. “What is Unification? A Categorical View of Substitution, Equation and Solution.” (1989). Эта статья описывает унификацию в русле традиции, то есть подробно обсуждает унификацию 2 термов, то есть решение 1 уравнения. На практике приходится решать систему уравнений. Возьмём вывод типов для лямбда-исчисления. Каждый узел абстрактного синтаксического дерева программы даёт несколько уравнений, причём эти уравнения обычно имеют примитивную форму вроде τ01→τ2. В этом уравнении нечего решать. :-) Зато уравнений много. Более того, терм можно разбить на систему примитивных уравнений, например
f0(v0, f1(v1, f2(v2)))

f0(v0, v3);
v3 = f1(v1, v4);
v4 = f2(v2).
Примитивные уравнения я считаю более общей постановкой задачи, так как не знаю способа, как соединить систему примитивных уравнений в 1 уравнение термов (существует ли этот способ?). Хочу увидеть теоретический фундамент именно для системы уравнений.
3 comments|post comment

Вопросы про identity types [27 Sep 2014|07:19pm]

os80
Коллеги, может быть, вопрос не совсем в тему сообщества, но куда задать вопрос по теории типов — не знаю.
А так как началось всё с HoTT, про которую узнал тут, решил здесь и спросить.

Никак не могу понять, что такое identity types, которые "b =A c".
1. Может ли кто-то понятно объяснить с конкретными примерами, что это такое?
2. Знает ли кто-нибудь хороший paper на эту тему?
3. Читаю "Martin-Löf's Type Theory" by Nordström et al. Там на 8-й странице (вторая снизу формула) делается следующее утверждение: если a∈A, то a=a∈A. С учётом написанного там ранее, это у меня интерпретируется как "если 1 принадлежит натуральным числам, то доказательство того, что 1=1 тоже принадлежит натуральным числам". Но это же бред, товарищи, в каком месте я не прав?
15 comments|post comment

Нуб нид хелп [15 Sep 2014|10:17am]
tancorko
Господа, наверняка я не первый кто пристает с вопросом с какой книги лучше начать знакомство. Не могли бы вы мне помочь?
К примеру пока рассматриваются: Голдбалтт Топосы. Категоральный анализ логики, Маклейн Теория категорий для работающего математика, учебник Георгия (66george).
22 comments|post comment

Category Theory Using String Diagrams [26 Aug 2014|10:05am]
nivanych
Может, кому пригодится.
Category Theory Using String Diagrams
Dan Marsden
AbstractCollapse )
http://arxiv.org/abs/1401.7220
6 comments|post comment

Новый термин узнал — The Schanuel topos [19 Jul 2014|12:52pm]
nivanych
The Schanuel topos (also called the Myhill-Schanuel topos) is the Grothendieck topos of combinatorial functors.
It plays an important role in computer science in the theory of name-binding calculi and in William Lawvere’s approach to petit toposes.
http://ncatlab.org/nlab/show/Schanuel+topos
И вроде, у Johnstone'а это есть, но как-то пропустил...
3 comments|post comment

Corecursive Algebras, Corecursive Monads and Bloom Monads [17 Jul 2014|11:07am]
nivanych
Jiří Adámek, Mahdie Haddadi, Stefan Milius
Corecursive Algebras, Corecursive Monads and Bloom Monads

An algebra is called corecursive if from every coalgebra a unique coalgebra-to-algebra homomorphism exists into it.
We prove that free corecursive algebras are obtained as coproducts of the terminal coalgebra (considered as an algebra) and free algebras.
The monad of free corecursive algebras is proved to be the free corecursive monad, where the concept of corecursive monad is a generalization of Elgot's iterative monads, analogous to corecursive algebras generalizing completely iterative algebras.
We also characterize the Eilenberg-Moore algebras for the free corecursive monad and call them Bloom algebras.
http://arxiv.org/abs/1407.4425
2 comments|post comment

Lawvere's fixed point theorem [05 Mar 2014|11:05am]
nivanych
http://ncatlab.org/nlab/show/Lawvere%27s+fixed+point+theorem
For any cartesian closed category, if there is an epimorphism from some object A to the exponential object/internal hom from A into some other object B
A⟶B^A
then every endomorphism f:B→B of B has a fixed point.

Дайте хороших жизненных примеров! ;-)
21 comments|post comment

Free Applicative Functors [05 Mar 2014|11:04am]
nivanych
Applicative functors are a generalisation of monads.
Both allow the expression of effectful computations into an otherwise pure language, like Haskell.
Applicative functors are to be preferred to monads when the structure of a computation is fixed a priori.
That makes it possible to perform certain kinds of static analysis on applicative values.
We define a notion of free applicative functor, prove that it satisfies the appropriate laws, and that the construction is left adjoint to a suitable forgetful functor.
We show how free applicative functors can be used to implement embedded DSLs which can be statically analysed.
http://arxiv.org/abs/1403.0749
post comment

Почему порождающие семейства следует называть "порождающими"? [11 Feb 2014|04:32pm]
oskar_808
Несколько месяцев назад в сообществе был задан вопрос - как перевести на русский язык слово "generator" и словосочетание "generating family": http://category-theory.livejournal.com/22084.html#comments. Участники предложили массу различных вариантов перевода, однако все сошлись на мнении, что переводы "порождающий объект" и "порождающее семейство" не подходят по смыслу, так как они "ничего не порождают"(см. комментарии). Я тоже тогда с этим согласился - именно поэтому я решил "исправиться" и сделать данный разъясняющий постинг.

Пост состоит из трёх частей: в первой части будут представлены аргументы за довольно популярные на данный момент переводы "разделяющий объект" и "разделяющее семейство", также будут даны определения и примеры этих самых "разделяющих семейств" - надеюсь, эта часть будет доступна всем участникам сообщества; во второй части я постараюсь объяснить, почему всё-таки переводы "порождающий объект" и "порождающее семейство" также подходят по смыслу; в третьей части я введу в обращение новый тип порождающих семейств(расщепимые порождающие семейства), кое-что про них расскажу и сделаю заключительные комментарии.

1. "Разделяющие" семейства.Collapse )
2. "Порождающие" семейства.Collapse )
3. Расщепимые порождающие семейства.Collapse )

Выводы. Безусловно, оба перевода("разделяющий" и "порождающий") уместны. Но надо заметить, что термин "разделяющий" отражает лишь смысл самого первого определения, в то время как термин "порождающий" отражает важнейшее свойство порождающих семейств(лемма 1). При доказательстве сложных теорем(таких как SAFT), особенно важно понимать, что всякий объект категории является факторобъектом копроизведения порождающих "кирпичиков", либо, если речь идёт о копорождающих семействах - подобъектом произведения копорождающих "кирпичиков".

Спасибо за внимание!
4 comments|post comment

Учебник, версия 7 [02 Feb 2014|03:03am]

66george
http://www.mediafire.com/view/w31ptgbpzdvwea8/Учебник%20версия%207.pdf

Ага, первый ляп найден (определение скелета категории 16.91). Кроме того, исправлена опечатка в примере 15.14 (в предпоследней строчке справа было указано правило VI, на самом деле VE)

P.S. Может, такая ссылка лучше

http://www.mediafire.com/download/w31ptgbpzdvwea8/%D0%A3%D1%87%D0%B5%D0%B1%D0%BD%D0%B8%D0%BA+%D0%B2%D0%B5%D1%80%D1%81%D0%B8%D1%8F+7.pdf
2 comments|post comment

Учебник, версия 6 [30 Jan 2014|09:07am]

66george
https://www.mediafire.com/?a7ypzohii4xgwx1

Написал ещё три больших главы (на самом деле, четыре, но четвёртую пока придержу). Но чем больше пишу, тем больше остаётся написать!
К главе про натуральные числа в конце добавил поучительную историю, как Клини лечил зубы под кайфом. К главе про сопряжённость в самом конце добавил две диаграммы.
Прошу всех, кто разбирается в категориях, посмотреть две последние главы на предмет грубых ляпов. Всякой другой критике тоже буду рад.
28 comments|post comment

[26 Nov 2013|11:34pm]

66george
Стоит ли переводить "bicartesian closed category" как "би-декартово замкнутая категория"? Или уж писать "декартово замкнутая категория с конечными копроизведениями"?

Русский язык длинней английского, зато витиеватей и извилистей.
1 comment|post comment

язык для дистрибутивных симметричных моноидальных категорий [19 Oct 2013|01:53pm]

beroal
Что-то по типу SSA. Пока что я вижу вариант с явным ветвлением. Можно ли обойтись без него?

distributive monoidal category
2 comments|post comment

команда с выходом [14 Oct 2013|05:59pm]

beroal
Рассмотрим категорию Set и в ней морфизм f:S→S+O. Выразить на категорном языке как можно короче, что, если f возвращает Left x, то x равен входному значению. Под категорным языком я подразумеваю: равенство морфизмов, id, композиция морфизмов, произведение морфизмов, проекции, действие функтора × на морфизмах, и аналогичные операции для сумм.

Я на этот вопрос уже ответил. Возможно, он заинтересует кого-то как задача для школьников.
14 comments|post comment

[23 Sep 2013|05:37am]

66george
Безымянный

Вот такие команды в tikzpicture рисуют красивую стрелку вверху и две некрасивые с хвостиком и ёлочкой (уголки маленькие)

\path[font=\scriptsize];
\draw[arrows={-angle 90},font=\scriptsize] ( A.east) -- ( B.west) ;

\path[font=\scriptsize][>->]
( A) edge ( B) ;

\path[font=\scriptsize][->>]
( A) edge ( B) ;

Методом конструктивного подбора пытаюсь их совместить, чтобы получились красивые с хвостиком и ёлочкой, но не получается.

P.S. Гений человека победил: надо было в начале написать
\begin{tikzpicture}[>=angle 90]
3 comments|post comment

[20 Sep 2013|02:20am]

66george
Терминологический вопрос: как перевести слово generator? Generator -- это такой объект С, что для любых двух разных стрелок g1,g2:A->B найдётся стрелка h:C->A такая, что g1oh не равно g2oh. Например, в Set одноэлементное множество 1 будет генератором. Для любых двух разных функций g1,g2:A->B найдётся точка h:1->A, на которой они различаются. По-русски есть понятие "интегральный объект", но определение не вполне совпадает
http://dic.academic.ru/dic.nsf/enc_mathematics/1920
20 comments|post comment

navigation
[ viewing | most recent entries ]
[ go | earlier ]