Oui, si tu as des questions en langage des catégories, je serai ravi de t'aider
( selon bien sûr les connaissances que j'ai acquis durant plusieurs années en étudiant surtout ses applications en Algebraic geometry ). Par contre, j'ignore complètement leur application en informatique. Ces derniers mois, je me suis lancé dans l'apprentissage du langage des Higher categories utile pour étudier la théorie des classifications que tu as vu une de ces applications dans l'autre fil sur les moduli spaces des courbes elliptiques. Au début, tu as l'impression que c'est lourd, parce que tu ne saisis pas encore leur beauté, attends que tu deviens familier avec, et tu savoureras leur beauté et leur charme progressivement.
Quant à Higher catégories, c'est une extension de la théorie des catégories classique que tu entameras dans Mac Laine. La théorie des catégories classique n'étudie que les catégories appelées aussi 1-catégories, par contre, les Higher categories s'occupent des 2-categories, 3-categories, ... , n-categories, ... ; \infty-categories, ainsi que les n-groupoîdes, c'est à dire des n-catégories munis d'une structure de groupes.