Задам возможно глупый вопрос - имеет ли смысл изучать теоркат

Question

Теория категорий

(*__*)

Задам возможно глупый вопрос - имеет ли смысл изучать теоркат

при отсутствии глубоких познаний в какой-то из привычных мат.дисциплин?

0

22.08.2023

4 ответов

19 просмотров

(*__*) Автор вопроса

akater
Часто на такие вопросы отвечают, что если есть так...

Речь скорее шла о том чтобы получить глубокое понимание теорката

0

22.08.2023

Nick Ivanych

Во-первых, правильно заметили - "а что такое глубокие познания?". Например, у меня они не глубокие, но мне есть, с кем сравнивать ;-) Во-вторых, научиться можно, но будет сложно с примерами и их пониманием. В-третих, учитывая второе, просто как абстрактному языку в отрыве от всего, научиться категориям заметно трудне, но вполне возможно.

0

23.08.2023

Simon

Абсолютно точно ДА! Если ты смотришь на ТК - она смотрит на тебя. Зуб даю, что базовая ТК зайдет легко и непринуждённо. И только когда ты доберешься до ncatlab с их fibrations и enriched categories, а так же до более глубоких концептов, как yoneda lemma, kan extensions, profunctors, lenses - вот тогда да.. придется изучать _еще что-то_. (Лимиты, лимиты, еще раз лимиты. Пока ночью не проснешься в поту с криком «ЭТО ТОЖЕ ЛИМИТ!») Я делаю такой вывод, потому что после многочисленных безуспешных попыток показать ТК другим людям, я понял, что для того, чтобы вообще начать об этом хоть как-то думать, необходима какая-никакая, но интуиция. Для меня, открытие ТК - было просто просвещением! Концепты уже были в моей голове, но я реально начинал думать, что схожу с ума, потому что меня никто не понимал, а я был уверен в существовании определенных мат. структур, но понятия не имел, как я должен с ними работать. Лекции Bartosz Milewski очень дельные. Но 1. они на англ, 2. они будут понятны, если имеется существенный опыт в программировании. Так что, мне кажется, если люди задают вопросы «стоит ли мне» «могу ли я» и прочее, но при этом обсуждают какую-то неведомую абстрактную хрень…ну..значит этим людям такая хрень должна быть хоть как-то понятна =) Вопрос, скорее, в другом…ээ.. а зачем тебе ТК? Это язык. Я бы не стал изучать казахский язык, к примеру..я же не собираюсь переезжать в Казахстан! ТК нужна в двух случаях: 1. Коммуникация между людьми (это ты еще поищи таких людей..даа) 2. Пруфы. Если писать теоремы и пруфы к ним - ТК сейчас используется везде и всеми. У меня «третий» случай..я просто копался в своих мыслях и мне стало трудно их описывать.. не оккультизм же изучать =))

0

27.08.2023

akater · Accepted Answer

akater

Часто на такие вопросы отвечают, что если есть такие вопросы, надо вообще заняться чем-то другим, по крайней мере сегодня (завтра / в этом месяце / в этом году), независимо от предметной области. Я склонен согласиться.

0

22.08.2023

Похожие чаты

Задам возможно глупый вопрос - имеет ли смысл изучать теоркат

4 ответов

Похожие вопросы