Catégorie cartésienne
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1f/Racine_carr%C3%A9e_bleue.svg/35px-Racine_carr%C3%A9e_bleue.svg.png)
Cet article est une ébauche concernant les mathématiques.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Une catégorie cartésienne est, en mathématiques — et plus précisément en théorie des catégories — une catégorie munie d'un objet terminal et du produit binaire.
Dans une catégorie cartésienne, la notion de morphisme entre morphismes n'a pas encore de sens[1]. C'est pourquoi l'on définit l'exponentiation, c'est-à-dire l'objet BA qui représente l'« ensemble » des morphismes de A dans B. Munie de cette propriété de clôture qu'est l'exponentiation, une catégorie cartésienne devient une catégorie cartésienne fermée.
Références
- ↑ Andrea Asperti et Giuseppe Longo, Categories, Types, and Structures : An Introduction to Category Theory for the Working Computer Scientist, Cambridge, The MIT Press, coll. « Foundations of Computing », (lire en ligne [PDF]), p. 18.
Articles connexes
v · m
| |
---|---|
Catégories |
|
Catégories usuelles | |
Objets |
|
Morphismes | |
Foncteurs | |
Adjonctions | |
Limites |
|
Opérations |
|
Outils | |
Extensions et catégories supérieures |
|
Portail des mathématiques