En la teoría de categorías , una rama de las matemáticas, una subcategoría de una categoría se dice que es isomorfismo cerrado o repleto si cada- isomorfismo con pertenece a [1] Esto implica que tanto y pertenece a también.
Una subcategoría con isomorfismo cerrado y completo se denomina estrictamente completo . En el caso de subcategorías completas, es suficiente comprobar que cada-objeto que es isomorfo a un -objeto es también un -objeto.
Esta condición es muy natural. Por ejemplo, en la categoría de espacios topológicos se suelen estudiar propiedades que son invariantes bajo homeomorfismos , las llamadas propiedades topológicas . Cada propiedad topológica corresponde a una subcategoría estrictamente completa de
Referencias
Este artículo incorpora material de la subcategoría cerrada por isomorfismo en PlanetMath , que está bajo la licencia Creative Commons Attribution / Share-Alike License .