(параметрический полиморфизм)
Всем привет Вопрос возник при изучении т.н. Polynomial functors, а точнее Indexed family of Sets из книги D. Spivak'а "Poly-book" Есть дискретная категория I, и функторы F и ...
Вот у меня вопрос, кстати, ко всем, и особенно к тем, кто теоркатом занимается: как вы понимаете предназначение теории категорий? Ради чего в общем она развивается (цели и зад...
Я понимаю, что оффтоп это часто плохо. Просто информационная онтология на основании категорий — прямое приложение теории. Разве не хорошо, если мы здесь будем касаться смежных...
всем привет. подскажите, пожалуйста, где бы почитать о "коалгебраической структуре, присущей lambda-исчислению"?
@Yegor_Karimov а, если не секрет, какое у вас образование/опыт решения каких задач? И знаете ли вы английский?
во-первых респект!)) А у Эмили Риль есть книги для покрытия тем, которые здесь? или книг нужно много fibrations (не знаю как по-русски) и связанные темы (вроде есть ещё co-fi...
Привет, друзья, знаете ресурсы по Olog (Ontology Log)? Это информационная онтология на основе категорий.
А как промежуточный итог изучения наверно надо стремиться к пониманию такого https://youtu.be/TNtntlVo4LY?si=dKJF-yEjQk8rHC_e
@electrosnail я вот читаю про категорию Hask, и она определяется так, что объекты в ней - типы, а стрелки - (->). Я рассуждаю так, что если co-X, это X, где все стрелки развёр...
Ну, в этом и вопрос на самом деле. Почему то, что без какого-либо равенства, не хочется признавать математикой?
Обсуждают сегодня