théorie des catégories

La théorie des catégories étudie les structures mathématiques et les relations qui les unissent. Elle conduit ainsi à regarder des objets mathématiques avec les liens qui permettent de passer de l'un à l'autre, plutôt que de les considérer isolément.

Ce qu'elle étudie

Son objet est l'organisation de ces structures et de leurs relations. Cette manière de les étudier met l'accent sur ce qui relie les objets et sur la façon dont ces relations peuvent être examinées ensemble.

Où elle se place

Elle appartient à la théorie des catégories d'ordre élevé. Elle s'inscrit donc dans un cadre où la théorie des catégories est prolongée.