Théorie des catégories pour ingénieurs ?
Bonjour à tous,
Je suis actuellement dans une école d'ingénieurs française; mais je pars en février pour un semestre d'échange au sein d'une école d'ingénieurs suisse et j'en suis maintenant à la phase où je dois choisir les cours qui m'intéressent dans le programme de l'école.
Parmi les dizaines de cours proposés, il en est un qui a retenu mon attention.
Le cours "Applied compositional thinking for Ingeneers" se propose de présenter des applications concrètes de la théorie des catégories dans le métier d'ingénieur, le tout dans un cadre très formel.
Je ne doute pas du profit intrinsèque que l'on peut trouver à l'étude de la théorie des catégories, ni de son importance dans la fondation des maths. Cependant prétendre que quelque chose d'aussi abstrait puisse servir à des ingénieurs me fait penser à du charlatanisme.
Dois-je fuir ?
Je suis actuellement dans une école d'ingénieurs française; mais je pars en février pour un semestre d'échange au sein d'une école d'ingénieurs suisse et j'en suis maintenant à la phase où je dois choisir les cours qui m'intéressent dans le programme de l'école.
Parmi les dizaines de cours proposés, il en est un qui a retenu mon attention.
Le cours "Applied compositional thinking for Ingeneers" se propose de présenter des applications concrètes de la théorie des catégories dans le métier d'ingénieur, le tout dans un cadre très formel.
Je ne doute pas du profit intrinsèque que l'on peut trouver à l'étude de la théorie des catégories, ni de son importance dans la fondation des maths. Cependant prétendre que quelque chose d'aussi abstrait puisse servir à des ingénieurs me fait penser à du charlatanisme.
Dois-je fuir ?
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Aussi surprenant que cela puisse paraître pour ceux qui me connaissent, il ne faut certainement pas fuir. En informatique théorique, par exemple, l'on étudie les catégories sous l'angle des bases de données. Pour un informaticien, cette façon de procéder parle. Si j'étais à ta place, je me jetterais sur ce cours qui ne pourra que t'être profitable.
Cordialement,
Thierry
PS : voici un excellent ouvrage.
Un exemple d’utilisation pour inférieurs est la modélisation et la mise en œuvre d’un réseau de bus automnes. Il s’agit de créer la carte de tous les paramètres : juridique, informatique, humains, électro-techniques et physiques, puis à modéliser les sources d’erreurs, les flux d’information/ de données, et de vérifier que le système est sûr.
Les maths permettent de simplifier la carte, de savoir où placer les flux d’informations, etc.
La carte devient rapidement ingérable par sa complexité alors qu’une modélisation mathématique s’en moque.
C’est à la fois théorique et « pratique ».
J'ai un peu la même interrogation que Poirot. Si la théorie des graphes est étudiée au Bac et celle des catégories en Master, c'est bien parce que le formalisme sous-entendu quand on parle de théorie des graphes est très accessible par rapport au formalisme classique de la théorie des catégories.
Dans le cas d'un problème modélisable simplement avec un graphe orienté, j'ai du mal à voir pourquoi un ingénieur irait s'aventurer dans le merveilleux pays des foncteurs et des applications universelles.
Quand tu étudieras le cours, tu découvriras la raison.
Pour faire "in" je pense que c'est bien, et après tout pour ton CV c'est quelque chose qui peut être très intéressant.
Pour le boulot d'ingé, j'ai le sentiment que c'est du gadget - je me trompe peut-être, mais bon ...
soit ça va être un vrai cours de théorie des catégories mais déguisé, et les applications vont être assez pipeau; soit c'est vraiment des choses utiles pour la gestion de projets complexes avec plein de tâches différentes (par exemple ce qu'exposait YvesM) mais je pense que l'aspect "catégorie" va être très superficiel/artificiel, il y a aura sûrement plus de graphes ou d'outils d'ingénieurs que je ne connais pas.
Je ne sais pas si vous avez vu les ressources en lien, en voici une en pièce jointe (je n'ai fait que suivre une suite de liens).
J'espère que la conception sous forme d'ordinogramme de la tarte au citron meringuée n'est pas l'alpha et l'oméga du concept, même si un peu de formalisme dans cette vieille branche délaissée de l'informatique n'est pas à jeter.
À bientôt.
Cherche livres et objets du domaine mathématique :
Intégraphes, règles log et calculateurs électromécaniques.
Allez, je fais mon Chaurien, sans me forcer je dois le reconnaître.
(tu)
Bonne journée. Cordialement.
NB : je précise que je ne suis pas contre le fait que des formations supérieures françaises proposent des formations en anglais si le but est d'attirer un nombre significatif d'étudiants étrangers. Cela n'exonère pas de faire une plaquette de présentation a minima bilingue.
Cordialement.
Cordialement.
Tout le monde retrouveras le lien s'il le souhaite.
Bonne journée à tous. Cordialement.