La théorie des catégories et l'informatique !
Bonjour à tous !
Quelqu'un dispose-t-il de passerelles relatives aux catégories vers l'informatique ? J'ai plusieurs références dont la dernière du MIT date de 2014...
Merci par avance
Quelqu'un dispose-t-il de passerelles relatives aux catégories vers l'informatique ? J'ai plusieurs références dont la dernière du MIT date de 2014...
Merci par avance
Cette discussion a été fermée.
Réponses
J'aime bien ta question :: je connais Haskell, dont le langage est très orienté fonction ... Je suis hors sujet ?
@afk : ok
C'est tout de même spécifique qu'on puisse régler des comptes de cette façon avec quelqu'un avec qui on est en désaccord. J'aurais pu ne jamais voir ta pique en plus. Je ne lis pas tout le forum.
je reprends ce débat : la théorie des catégories, comme son nom ne l'indique pas et contrairement à ce que d'aucuns pensent, dépasse la théorie !
Elle est le véhicule des modèles (de l'internet des) objets fondés sur les entités-relations et est la clé de voûte des architectures distribuées agiles.
Quant aux sources, elles sont multiples allant du dictionnaire de données aux élaborations d'éléments pour les sciences en concertation.
[size=medium]De Bartosz Milewski : "I thought an edgy cow would be a good illustration for a cowedge (working on coends)!"[/size]
La même chose en français, on pourrait comprendre.
Cordialement,
Rescassol
[large]Le guide logique de la théorie des catégories.[/large].:-S.
Au fait, c'est assez curieux d'avoir hérité un mot de plus que ceux réellement publiés : quand on aime, on ne compte plus!
Des notes de lecture introduisant à la logique des catégories occultent les solutions aux exercices illustrant des concepts récemment (s)abordés.
1. Category Theory for computer science,
Andrzej Tarlecki, Slides, 2017
2. Category Theory as a Formal Mathematical Foundation for Model-Based Systems Engineering
Mohamed A. Mabrok, Michael J. Ryan, 2016
3. Towards a unified framework for decomposability of Processes
arXiv:1606.05529v2 [math.CT]
Valtteri Lahtinen, Antti Stenval, 12 Sep 2016
4. Category Theory in context
Emily Riehl, John Hopkins, 2014
5. Category Theory Foundation For Engineering Modelling
Under consideration for publication in Math. Struct. in Comp. Science
Henson Graves, E-mail: Henson.graves@hotmail.com, May 2013
6. Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond
Zinovy Diskin, Tom Maibaum, 2012
7. Improving Learning Object Reuse Through OOD:A Theory of Learning Objects
Published by ETH Zurich, Chair of Software Engineering,
Claudine A. Allen Ezra K. Mugisa, JOT 2010
8. Higher Dimensional Category Theory
Published by Oxford, Shieffied University
Eugenia Cheng, 2010
9. MATHEMATICS OF UML: Making the Odysseys of UML less dramatic
Zinovy Diskin, E-mail: zdiskin@acm.org, 2003
10. Category Theoretic Approaches of Representing Precise UML Semantics
Jeffrey Smith, Scott, Scott Deloach, Mieczyslaw Kokar, Ken Baclawski , 2000
Quelles sont les abstractions et les implémentations?
Les trois abstractions clés sont la jointure, la récursivité et la contrainte.[/large][/size]
Le nombre n'est pas la valeur.
Des catégories et morphismes :
les correspondances parfaites
ou les distinctions abstraites !
[/size]
de récursion dédiées aux algèbres élevées...[/size]
[size=x-large]Qu'est -ce que la théorie des catégories appliquées, au juste ?...[/size]
Les passeports pour les catégories en corps automatiques communicants sont à portée de pas...ages.
Formalisation des agents et des systèmes multi-agents.
Le cas particulier de la théorie des catégories s'explicite[/size]
[*** images modérées ***]
[La discussion servant maintenant a afficher des images sans rapport avec le thème du fil, c'est donc que cette discussion est terminée. Je la ferme donc. AD]