Catégories doubles et multiples (double categories)

Par topos

Si la théorie des catégories doit pouvoir formaliser des situations en dehors des mathématiques pures, il semble souhaitable de l'élargir quelque peu, en particulier en ce qui concerne la typologie des morphismes : on doit pouvoir introduire plusieurs...

Lire la suite

Métaphysique, Mathesis Universalis et ontologie : de la philosophie médiévale à Badiou en passant par Descartes

Par topos

La fameuse thèse émise par Alain Badiou dans "L'être et l'évènement" : "l'ontologie, ce sont les mathématiques" a pu sembler surprenante, choquante, voire révolutionnaire à beaucoup. Mais il semble qu'elle résulte d'une longue histoire de débats et de...

Lire la suite

Structures algébriques et catégories ( algebraic structures , categories and functors )

Par topos

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...

Lire la suite