Menu
Accueil
Forums
Liste des forums
En ce moment
Nouveaux messages
Nouveaux messages de profil
Connexion
S'inscrire
Quoi de neuf
Liste des forums
Menu
Connexion
S'inscrire
Forums
Loisirs et Entraides
Etudiant
Plagiat d'un résultat mathématique
JavaScript est désactivé. Pour une meilleure expérience, veuillez activer JavaScript dans votre navigateur avant de continuer.
Vous utilisez un navigateur obsolète. Il se peut que ce site ou d'autres sites Web ne s'affichent pas correctement.
Vous devez le mettre à jour ou utiliser un
navigateur alternatif
.
Répondre à la discussion
Message
[QUOTE="AncienMembre, post: 15391497"] 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. :) [/QUOTE]
Insérer les messages sélectionnés…
Vérification
Répondre
Forums
Loisirs et Entraides
Etudiant
Plagiat d'un résultat mathématique
Haut