You are here
Home βΊisomorphism-closed subcategory
Primary tabs
isomorphism-closed subcategory
A subcategory of a category is said to be isomorphism-closed if for any and a -isomorphism , also the -object belongs to .
More simply: the subcategory contains with each object all isomorphic -objects.
Another name commonly used for isomorphism-closed subcategories is replete subcategory.
This condition is very natural. E.gΒ in the category of topological spaces we usually study properties which are invariant under homeomorphisms β so called topological properties. Every topological property corresponds to a strictly full subcategory of .
A subcategory which is isomorphism-closed and full is called strictly full.
Defines:
strictly full
Synonym:
isomorphism-closed, replete
Major Section:
Reference
Type of Math Object:
Definition
Parent:
Mathematics Subject Classification
18A05 Definitions, generalizations- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
May 22
new question: Linear Algebra Combination Problem! by Bruce Lee
new question: Computation of $\varphi(2000)$ by jeremyboden
new question: Computation of $\varphi(2000)$ by jeremyboden
May 21
new question: pure subgroups by lvoyster
new correction: Typo in M\"obius function? by Aleph Zero
new collection: analytic number theory by Aleph Zero
May 20
new question: Taylor's Series Query! by unlord
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord
new question: Linear Algebra Combination Problem! by Bruce Lee
new question: Computation of $\varphi(2000)$ by jeremyboden
new question: Computation of $\varphi(2000)$ by jeremyboden
May 21
new question: pure subgroups by lvoyster
new correction: Typo in M\"obius function? by Aleph Zero
new collection: analytic number theory by Aleph Zero
May 20
new question: Taylor's Series Query! by unlord
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord


