quelques mots d'abord sur cette nouvelle rubrique "MATHESIS" et son caractère spécifique.

il s'agit de faire apparaitre "la chose même" qui est l'objet de ce blog, à savoir la "Mathesis universalis", ou du moins, restons modestes, de poser des jalons en vue de cet objectif.

A ce titre les articles rentrant dans cette catégorie seront plus "techniques" que les autres, bien que, et j'y insiste, il ne s'agisse pas purement et simplement de mathématique. Nouis suivons ici, comme cela a d'ailleurs déjà été précisé, Descartes : la "Mathesis universalis" n'est pas (seulement) la "mathématique universelle" dont parlaient les prédecesseurs de Descartes. Elle est pour nous la science générale et universelle qui est aussi (cf les "Regulae" ) "l'humaine Sagesse", sous la forme d'une théorie de tout savoir objectif et rigoureux. C'est à dire, en somme, la philosophie. Et elle comprend donc la métaphysique.

Les articles de cette catégorie seront aussi une sorte de "chantier permanent" : ils pourront à tout moment être modifiés, complétés, voire supprimés. Cependant ils pourront aussi rester en l'état assez longtemps.

Je dois aussi avertir qu'il s'agit d'une "aventure d'idées" plutôt que de l'exposition d'un savoir ou d'une théorie: il se peut donc que tout cela reste cconfus et insatisfaisant assez longtemps, voire toujours.

La théorie mathématique des catégories sera grandement mise à contribution, puisque, comme nous l'avons déjà expliqué ailleurs, nous considérons qu'il s'agit non pas d'une théorie mathématique particulière, mais de la nouvelle forme que prennent les mathématiques et qui ouvre en même temps sur un "au delà " de la pure et simple mathématique, puisqu'il s'agit de la théorie générale de l'objet et de la relation. il s'agit donc de la forme rudimentaire de la mathesis universalis.

Cette catégorie n'est pas réservée aux mathématiciens, puisque, encore une fois, il ne s'agit pas (seulement) de mathématique, ni de "philosophie des mathématiques", mais de philosophie, de philosophie sous une nouvelle forme, entièrement rigoureuse et scientifique : mais compte tenu de ce qui vient d'être dit, elle ne pourra être lue avec profit que par les persones disposant déjà d'une connaissance rudimentaire du vocabulaire des catégories et foncteurs. De nombreux sites web existent pour cette étude préliminaire, et les références ont été données ici ou sur le forum MSN associé:

http://groups.msn.com/mathesisuniversalis

ainsi que sur l'autre blog associé à celui ci :

http://mathesis.over-blog.com

 Concernant pour finir les mathématiciens "purs" qui liraient ce blog, s'il y en a, je dois aussi les avertir qu'ils risquent d'être déçus s'ils croient trouver ici des travaux seulement mathématiques. Le but de ce blog n'est pas de démontrer de nouveaux théorèmes. 

Nous commençons donc par les structures algébriques. Pourquoi elles ? on sait qu'on départage traditionnellement les structures mathématiques en structures d'ordre, structures topologiques et structures algébriques. Mais la théorie des catégories réalise en quelque sorte une "algébrisation" de toute la mathématique universelle.

Une mathesis universalis qui, selon la voie tracée par Descartes, se préoccuppe de la "mathématicité" de la mathématique universelle, c'est à dire de "fonder" une science non plus de la simple quantité discrète ou continue, mais de tout ce qui se peut dire rigoureusement "selon l'ordre et la mesure", une telle mathesis donc doit privilégier la forme algébrique.

Groupes et groupoïdes.

Commençons très simplement par les groupes, qui sont l'archétype de la structure mathématique moderne, apparue avec Galois.

On sait qu'un groupe G peut être envisagé comme une catégorie ayant un unique objet, appelé G, et dont les morphismes correspondent aux éléments du groupe.

L'élément neutre e du groupe correspond au morphisme identité, et la loi de composition des éléments du groupe à la composition des morphismes, qui est associative selon les axiomes des catégories. Le fait que tout élément du groupe ait un inverse se traduit en langage catégorique par : tout morphisme est un isomorphisme (c'est à dire possède un inverse).

A tout objet C d'une catégorie quelconque on peut associer le monoïde des endomorphismes de C, c'est à dire des flèches : C → C, et le groupe des automorphismes, cad les isomorphismes, ou flèches inversibles, C → C.

Philosophiquement parlant, nous interprétons le morphisme identité pour un objet dans une catégorie, qui est l'élément neutre de ce monoïde des endomorphismes ou de ce groupe des automorphismes, comme la trace de l'Un métaphysique.

On peut développer ceci à propos des relations d'ordre sur les monomorphismes, que nous allons sommairement rappeler :