Теория категорий для чайника

Question

[Алексей Богданов]

Теория категорий занимает центральное место в современной математике, она также нашла применения в информатике, логике и в теоретической физике. (с) Wiki

Хотелось бы ознакомиться с научно-популярным изложением этой теории. С математикой знаком, но изложение теории катеогрий в варианте МехМата, к сожалению, не воспринимаю.

Какое чтиво по теории категорий можете предложить?

Answer 1

[Monnoroch]

Довольно популярное, но в то же время формализованное изложение:
docs.google.com/Doc?docid=0Aa6kKaQaqdCZZGN4MzN3bWdfMjMwZHZ4dHozZHg&pli=1
docs.google.com/Doc?docid=0Aa6kKaQaqdCZZGN4MzN3bWdfMzE4Y3EyaDVwaGM

Comments

[Vadikus]

Вот это да! Спасибо за ссылочки. Брал квантовую теорию поля на своём PhD, но если честно, то нифига не разобрался на базовом уровне. Поверхостный просмотр статьи показал, что она може и заполнит образовавшиеся пробелы. Так что огромное спасибо ещё раз.

Answer 2

[youngmysteriouslight]

Розеттский камень — это путь самурая, без подготовки не осилить. К тому же, Баез, как теорфизик, склонен постоянно сравнивать категорные понятия с понятиями из реального мира. Это не для IT.
Если что-то наглядное и в картинках, то можно почитать Голдблат «Топосы. Категорный анализ логики».
А вообще, русской литературы маловато. Но английской довольно много. Взять, например, «Joy of cat» — многим нравится.

Ещё, just for fun, можно посмотреть на youtube канал catsters. В частности, там очень наглядно объясняются пределы.

Answer 3

[dotneter]

Была неплохая статья habrahabr.ru/post/133277/

Answer 4

[egorinsk]

Википедию почитайте. Хотя мне вынесло мозг уже определение транзитивных множеств (множество, элементы которого являются подмножествами этого множества).