# Isomorphism-closed subcategory

(Redirected from Isomorphism-closed)
In category theory, a branch of mathematics, a subcategory ${\displaystyle {\mathcal {A}}}$ of a category ${\displaystyle {\mathcal {B}}}$ is said to be isomorphism-closed or replete if every ${\displaystyle {\mathcal {B}}}$-isomorphism ${\displaystyle h:A\to B}$ with ${\displaystyle A\in {\mathcal {A}}}$ belongs to ${\displaystyle {\mathcal {A}}.}$ This implies that both ${\displaystyle B}$ and ${\displaystyle h^{-1}:B\to A}$ belong to ${\displaystyle {\mathcal {A}}}$ as well.
A subcategory which is isomorphism-closed and full is called strictly full. In the case of full subcategories it is sufficient to check that every ${\displaystyle {\mathcal {B}}}$-object which is isomorphic to an ${\displaystyle {\mathcal {A}}}$-object is also an ${\displaystyle {\mathcal {A}}}$-object.
This condition is very natural. E.g. in the category of topological spaces one usually studies properties which are invariant under homeomorphisms – so called topological properties. Every topological property corresponds to a strictly full subcategory of ${\displaystyle \mathbf {Top} .}$