Andrei Boltachev

Всем привет Вопрос возник при изучении т.н. Polynomial functors, а точнее Indexed family of Sets из книги D. Spivak'а "Poly-book" Есть дискретная категория I, и функторы F и ...

@Yegor_Karimov а, если не секрет, какое у вас образование/опыт решения каких задач? И знаете ли вы английский?

во-первых респект!)) А у Эмили Риль есть книги для покрытия тем, которые здесь? или книг нужно много fibrations (не знаю как по-русски) и связанные темы (вроде есть ещё co-fi...

А как промежуточный итог изучения наверно надо стремиться к пониманию такого https://youtu.be/TNtntlVo4LY?si=dKJF-yEjQk8rHC_e

А подобъект от просто мономорфизма отличается тем что подобъект -- это класс эквивалентности мономорфизмов?

а Generics что такое (если есть в теории)?

@xfides ну в Хаскеле то знаешь же?

А свёртки это foldr и foldl?