Concept information
Terme préférentiel
théorie des catégories
Définition
-
La théorie des catégories est l'étude des structures mathématiques et de leurs relations. Ce domaine est né du constat de l'abondance de caractéristiques partagées par diverses classes liées à des structures mathématiques. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l'informatique théorique et en mathématiques de la physique. Elles forment une notion unificatrice. « La théorie des catégories commence avec l'observation que de nombreuses propriétés des systèmes mathématiques peuvent être unifiées et simplifiées par des dessins avec des flèches. »
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/Th%C3%A9orie_des_cat%C3%A9gories)
Concepts spécifiques
- abstract non-sens
- algèbre de Hopf
- anneau d'Ore
- carquois
- catégorie additive
- catégorie à involution
- catégorie cartésienne
- catégorie concrète
- catégorie dérivée
- catégorie des ensembles
- catégorie monoïdale
- complexe cotangent
- dérivateur
- diagramme
- espace fonctionnel
- extension de Kan
- F-coalgèbre
- foncteur
- graphe de groupes
- groupe de Grothendieck
- groupoïde
- lemme de Yoneda
- localisation de catégorie
- morphisme
- objet H
- théorie des catégories supérieures
Traductions
-
anglais
URI
http://data.loterre.fr/ark:/67375/PSR-J9ZL1KM4-H
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}