Questions marquées «category-theory»

La théorie des catégories est utilisée pour formaliser les mathématiques et ses concepts comme une collection d'objets et de flèches (également appelées morphismes). La théorie des catégories peut être utilisée pour formaliser des concepts d'autres abstractions de haut niveau telles que la théorie des ensembles, la théorie des anneaux et la théorie des groupes. (Par Steve Awodey)