sous-catégorie fermée par isomorphisme

En théorie des catégories, une branche des mathématiques, une sous-catégorieisomorphiquement fermé ou complet si chaque

Une sous-catégorie isomorphiquement close et pleine est dite strictement pleine . Dans le cas des sous-catégories pleines, il suffit de vérifier que tout élément de cette sous-catégorie est strictement plein.

Cette condition est tout à fait naturelle. Par exemple, dans la catégorie des espaces topologiques, on étudie généralement les propriétés invariantes par homéomorphisme — les propriétés topologiques . Chaque propriété topologique correspond à une sous-catégorie strictement pleine de