Левел 4:
https://vk.com/wall-152484379_2065
* * *
-- Прочитать в оригинале и понять книги Шарля Эресманна (один из основателей группы Бурбаки)
«Catégories et structures» (Dunod, Paris, 1965) и «Algèbre» (1969);
-- Разобраться в Hegelian Tacos
https://ncatlab.org/nlab/show/Hegelian%20taco
и посмеяться над "monad tutorials":
https://golem.ph.utexas.edu/category/2015/11/burritos_for_category_theorist.html
-- Понять применение теории категорий к живым системам
https://vbm-ehr.pagesperso-orange.fr/ChEh/articles/Kainen.pdf
https://www.researchgate.net/publication/240919888_CATEGORY_THEORY_AND_LIVING_SYSTEMS
http://www.few.vu.nl/~rplanque/Onderwijs/MathBio/PapersForProject/Rosen.pdf
-- Просветлиться аксиоматической связностью всего (axiomatic cohesion):
-- What is a space?
-- It is an object of a category of spaces.
-- Then what is a category of spaces?
http://www.tac.mta.ca/tac/volumes/19/3/19-03abs.html
https://homotopytypetheory.org/2011/11/02/axiomatic-cohesion-in-hott/
* * *
КПП для прохождения на итоговый уровень абсолютного (на сегодня) математического дна:
-- Хотя бы понять, о чём вообще работы Фрейда (нет, не Зигмунда, а Питера Фрейда, который кстати наоборот противник психоанализа)
"Abelian Categories, an Introduction to the Theory of Functors" (1964),
"Categories, Allegories" (1999);
Bireflectivity
https://www.sciencedirect.com/science/article/pii/S0304397598003545