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

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