Всем привет. В качестве вступления немного о себе.
Меня зовут П.
, мне 37 лет, программированию я начал заниматься в 33-34 года (старт был размыт в 2016-2017 годах).
Я начал с изучения C#, чтобы устроиться на работу разработчиком игр.
Скорее всего, на мое решение повлияла жена с ее пониманием достижения быстрой прибыли (ошибка 1: я в очередной раз в жизни погнался за материальными ценностями в ущерб внутреннему Миру).
Я начал учиться на одном крупном интернет-ресурсе, который не заслуживал упоминания сам по себе (ошибка 2: я верил, что можно получить качественное образование за деньги, потому что платил за него самое ценное в этом мире - ДЕНЬГИ).
Обучение затянулось (по моей вине) и вместо 3-х месяцев длилось около года.
За этот период я учился ни шатко, ни слабо.
В процессе обучения я понял, что разработка игр — не для меня и перешел на Java (это произошло уже в 2018 году).
В процессе самостоятельного изучения Java я предпринимал попытки найти занятия, связанные с этим языком.
Моё бессистемное изучение Java продолжалось около 1,5 лет. Я ничего не создал и не нашел деятельности, где я мог бы применить себя как разработчик.
Однако в процессе поиска работы я наткнулся на вакансию команды разработчиков, которая предлагала программу обучения и трудоустройство после этого.
Программа была доступна в двух версиях: фронтенд (JS/TS, React.Js, Redux) и бэкенд (Haskell).
Без особых причин я выбрал бэкенд и Haskell (это был 2019 год).
Во время этой деятельности я влюбился в Haskell. К сожалению, любовь не кормит, а у меня возраст и необходимость кормить достаточно большую семью (жена и более двух детей).
В связи с этим в 2020 году (до глобальных потрясений) я решил пройти платный курс с того же онлайн-ресурса по изучению Python и программы с уклоном в сторону ИИ (ошибка 3: осознанное решение: «python — весьма актуальный язык «через n лет предположил, что ресурс изменил подход к образованию, так как документально гарантировал трудоустройство»; «по результату обучения выдается диплом о повышении квалификации»; «Не хотелось денег».
обесцениваться, поэтому мне захотелось вложить его в себя» - может оказаться совершенно невзвешенным, иными словами, наивным).
В настоящее время я продолжаю обучение на онлайн-курсе.
Я не подтвердил свое предположение об улучшенной модели обучения, но я получил какую-то программу, которой могу следовать и которая не позволяет мне надолго забросить учебу.
Вступительная часть окончена.
Это было написано немного для себя, как запись того, что я узнал, и частично для других, в качестве поощрения: учиться никогда не поздно и никому никогда не рано.
Материалы, которые я планирую опубликовать в ближайшее время, будут представлять собой вольный перевод статей, которые показались мне наиболее доступными для понимания в области изучения теории категорий.
Прежде чем перейти к самой теории, я переведу статью о том, зачем нужна теория категорий, поскольку сам я окончательно не нашел ответа на этот вопрос и мой друг, программист с многолетним стажем, сказал, что эта теория никогда не существовала.
встречаются на его профессиональном пути.
В связи с тем, что ссылки на сторонние ресурсы запрещены, позволю себе указать никнейм автора переведенной статьи: countedblessings. Переведенная статья называется: Что такое теория категорий? Теория категорий — это вся математика, или, точнее, это математическая теория о математической структуре.
Оказывается, любая отрасль математики, которую можно изучать в любом высшем учебном заведении, является лишь частным случаем категории.
Например: теория групп вытекает из категории групп; топология вытекает из категории топологических пространств.
Точнее, теория категорий показывает, что все виды математических структур можно разделить на секции и стрелки между секциями.
Таким образом, вы можете определить категорию в упрощенной форме, например, разделы и стрелки.
Кроме того, необходимо упомянуть композицию, которая по своей сути на примере маршрута полета птицы показывает, что путь полета птицы в Канаду из Мексики через США может иметь «прямой» путь из Мексики в Канаду.
.
Разбиение любой математической структуры на секции и стрелки между ними — это сверхобщий, сверхабстрактный способ изучения математики.
Это занятие похоже на попытку изучить творчество Шекспира, разбивая предложения его текстов на существительные и глаголы.
Теория категорий имеет репутацию болезненной абстракции.
Эта теория даже носит название «абстрактная бессмыслица», полученное от одного из основателей теории.
Ввиду этого перед изучением теории категорий обычно рекомендуется иметь в базе знаний несколько математических дисциплин (алгебра, теория групп, топология и т. д.).
Это необходимо для того, чтобы можно было свести абстракцию к конкретным примерам (сложно изучать глаголы без знания конкретных действий, которые описываются глаголами прыгать и бегать).
Когда необходимо разбить предложение (например, «Быть или не быть» Шекспира) на слова неопределенной формы, союзы и частицы, то оказывается, что в этом деле чрезвычайно полезен сверхобщий подход теории категорий.
.
Можно также сказать, что многие математические идеи можно свести к сопряженному функтору: специальной конструкции, которую можно объяснить только с помощью теории категорий.
Многие теоретики категорий скажут, что сопряженный функтор — это сама суть теории категорий.
Сопряжение как бы абстрагирует саму оптимизацию.
Это ясно демонстрирует лемма Йонеды, которая представляет собой элегантность математической мысли, глубину смысла и широкую сферу применения.
Вам может быть интересно, что приводит к успешному применению теории категорий в различных областях науки.
Как можно применить нечто столь общее и абстрактное к точно определенной и конкретной реальности? Итак, теория категорий — это сверхобщая математическая структура, поэтому каждый раз, когда вы изучаете сверхобщее явление, имеет смысл мыслить с точки зрения принципов теории категорий.
Что такое сверхобщее явление? Например, законы физики! Они должны описывать все явления.
Если вы ищете фундаментальный закон, который можно применить как к мельчайшим частицам, так и к планетам-гигантам, а также к сложным живым существам, состоящим из мелких частиц и живущим на планетах, вы можете смело применять теорию категорий.
В случае с биологией, имеющей менее общие свойства (по сравнению с физикой), пока не будет установлено, что существуют марсиане, скрывающиеся от земных марсоходов, живым организмам необходимо выживать и размножаться в различных, трудно прогнозируемых условиях (Земля имеет широкий диапазон явлений, от вулканов до ледниковых периодов).
На каком-то уровне органическая жизнь обладает способностью адаптироваться к любой среде, и адаптация одного и того же основного положения ко множеству различных контекстов с значимыми результатами, по сути, является природой теории категорий.
Можно с уверенностью сказать, что наибольшие прикладные успехи теории категорий наблюдаются в области программирования.
Чтобы подтвердить это, я советую вам ознакомиться с функциональным программированием, лямбда-функциями или просто поискать в Google что-то вроде «теории категорий для программистов».
Результаты поиска действительно захватывающие, но, несмотря на это, программная применимость теории категорий будет сведена к минимуму, поскольку не придется отвлекаться от фундаментальных вещей.
Теперь мы можем совершенно спокойно задаться вопросом: что такое теория категорий? А ответ предельно краток: не более чем формальное обобщение всего.
Почему следует интересоваться теорией категорий? Потому что это позволяет вам взглянуть на математику с высоты птичьего полета и получить фундаментальное понимание, которое невозможно найти больше нигде.
Серия этих статей будет менее емкой и более объемной по сравнению с другими сериями «Введение в теорию категорий».
Я не предполагаю, что читатель знаком с терминами «множество» и «функция», чтобы обойтись одним примером.
Если вы обладаете продвинутыми математическими навыками или просто хотите глубже углубиться в теорию категорий, я советую вам поискать в Интернете другие отличные вводные материалы по теории категорий.
Подобные материалы существуют в большом количестве в форматах видео, книг, блогов и статей.
Данная серия статей предназначена для людей, не имеющих знаний по математике глубже школьного уровня, либо желающих обойтись без этих знаний.
Для этих статей нет определенного расписания, что плохо сказывается на процессе обучения.
Однако это неизбежная реальность того, как будет создаваться эта серия обзоров.
В будущем будут публикации об основных концепциях, определяющих эту категорию, с упором на интуитивное понимание проблемы на каждом этапе.
Закончив перевод, я также напишу пару предложений от себя.
Во-первых, мой перевод не может быть профессиональным, поэтому буду рад комментариям о том, что можно изменить в моем переводе.
Во-вторых, я еще и слабый математик, поэтому мог неправильно понять идею автора и еще больше исказить ее в своем уме, так что и здесь простые для понимания дополнения пригодятся.
В-третьих, я решил опубликовать свои усилия, следуя принципу «чтобы понять, нужно объяснить».
Поэтому, если я получу право публиковать дальнейшие статьи, я продолжу прилагать усилия для передачи математических понятий, вызывающих трудности в понимании.
Теги: #математика #теория категорий
-
Следующая После Нэтти
19 Oct, 24 -
Использование Батареи Gprs
19 Oct, 24 -
Обзор Смартфона Sharp Sh631W
19 Oct, 24
