Category theory: начало

[shuhray]

«Разделы» — это, видимо, объекты?

[WildZes]

Нет, в данном случае под разделами подразумеваются именно разделы математики. Чуть выше приведены примеры таких разделов как топология и теория групп.

[Tzimie]

Прекрасный храм чистой математики тем и прекрасен, что в нем нет места эмоциям. Разве что радости познания. Поэтому первая часть повествования выглядит очень не к месту.

[WildZes]

Благодарю за комментарий, я обязательно это учту.

[Blue_Duck]

Позвольте немного покритиковать. Статья позиционируется как некоторая «реклама» теории категорий? Тогда хотелось бы побольше самой рекламы, какие-то моменты которая она помогает решить, может быть даже с примерами, что-то из-за чего захочется познакомится с этим инструментом

[WildZes]

Спасибо за отзыв. Сильно надеюсь, что подобная «реклама» еще появится в виде статьи.

[Arhont375]

Такое громкое название, а содержание немного расстраивает.
Предложенный в комментариях блог Bartosz Milewski гораздо более полно и всесторонне раскрывает данную тему.

[WildZes]

Да, полностью с Вами согласен, господин Милевски существенно более сведущь в теории категорий. Спасибо Вам за напоминание об этом авторе!

[Naf2000]

Есть мнение, что теория категорий это математическое разочарование. Есть обобщенный взгляд на вещи в разных разделах. Есть переосмысление некоторых математических структур. Но… значимых результатов эта теория не принесла.

[WildZes]

Спасибо, что озвучили существующее мнение.
С теорией категорий начал разбираться недавно и мне интересна эта тема, хотя еще нет полноценной уверенности, что она будет применима мной на практике.

[redbeardster]

Прекрасно! Воздержусь от шуток про штангу, жду статьи, автору респект.