Colloque relation/objet 18 et 19 juin 2014 ENS Ulm

http://www.ens.fr/actualites/agenda/article/colloque-relation-objet

 

http://www.pensee-sciences.ens.fr/spip.php?article127

 

La théorie des catégories apparue en 1945 formalise évidemment ceci : les objets sont…les objets, et les morphismes sont les relations.

Et comme de juste pour une théorie scientifique, le rôle prépondérant appartient aux relations, les objets peuvent d’ailleurs être « identifiés » à leur morphisme identité qui de par les axiomes existent pour chaque objet.

http://s.dugowson.free.fr/enseignement/20111012categoriesMSSCI.pdf

http://www.jyb-logic.org/ens-cat.pdf

voici ce qu’en disait Badiou il y a 20 ans :

http://www.entretemps.asso.fr/Badiou/93-94.3.htm

 

Et Brunschvicg (qui n’a pas vécu assez longtemps pour voir apparaitre la théorie des catégories):

http://classiques.uqac.ca/classiques/brunschvicg_leon/progres_conscience_t1/progres_conscience_t1_intro.html

 

« Aussi bien, et l’on devra s’en laisser convaincre par les premiers chapitres de notre ouvrage, l’opposition décisive entre l’idéalisme mathématique de la République platonicienne et le réalisme astro-biologique de la Métaphysique aristotélicienne a défini le thème fondamental de l’Occident dans le domaine pratique comme dans le domaine théorique, indépendamment de toute référence au christianisme. Plusieurs siècles avant qu’il ait commencé d’exercer sa propagande, la polémique de l’Académie et du Lycée apporte le témoignage lumineux qu’il existe deux types radicalement distincts de structure mentale, commandés, l’un par les relations de la science (μαθήματα), l’autre par les concepts du discours (λόγοι). De là procède le problème religieux, tel qu’il se manifeste dans la  terminologie des Stoïciens avec la dualité du Verbe intérieur, ou raison : λόγος ἐνδιάθετος, et du Verbe extérieur, ou langage : λόγος προφορικός.  »

 

pour tout savoir sur la théorie des catégories, qui n’est donc autre que la théorie générale des théories scientifiques, commandée par le premier type, platonicien, idéaliste, de structure mentale (le deuxième type pouvant être nommé « aristotélicien », ou « thomiste », ou réaliste, ou ontologicien, etc…) un grand bouquin de plus de 500 pages :

« Abstract and concrete categories »

 

http://katmat.math.uni-bremen.de/acc/acc.pdf

 

ou

 

https://archive.org/details/Jiri_Adamek_Horst_Herrlich_George_E_Strecker__Abstract_and_Concrete_Categories_The_Joy_of_Cats

 

ou

 

http://www.tac.mta.ca/tac/reprints/articles/17/tr17abs.html