##  [Catégoricité](/fr/node/61555) 

  ##  [Catégoricité](https://puremath.quantumdictionary.io/fr/node/61556) 

  

 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics & Logic -

**Pure Mathematics Dictionary**

 







 

 

 

 



 

 

 

 

Définition

Une théorie T est catégorique en une cardinalité κ si tous ses modèles de cardinalité κ sont isomorphes ; la catégoricité en un κ infini est une propriété forte d'unicité pour les modèles de cette taille et soutient des résultats profonds de classification (par exemple le théorème de Morley pour la catégoricité non dénombrable).

 

 

 

 

 





 

 



 ##  [Catégoricité](https://algebra.quantumdictionary.io/fr/node/63612) 

  

 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

Définition

La propriété d'une théorie du premier ordre telle que, pour un cardinal infini donné κ, tous les modèles de la théorie de cardinalité κ sont isomorphes ; autrement dit, la théorie admet exactement un modèle à isomorphisme près dans cette cardinalité.