Isomorphism-closed subcategory
id:
isomorphism-closed-subcategory-273-16829615
title:
Isomorphism-closed subcategory
text:
In category theory, a branch of mathematics, a subcategory A of a category B is said to be isomorphism closed or replete if every B -isomorphism h : A → B with A ∈ A belongs to A . This implies that both B and h − 1 : B → A belong to A as well. A subcategory that is isomorphism closed and full is called strictly full. In the case of full subcategories it is sufficient to check that every B -object that is isomorphic to an A -object is also an A -object. This condition is very natural. For exampl
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Isomorphism-closed_subcategory
date created:
date modified:
2023-03-23T06:04:12Z
main entity:
{"identifier":"Q6086096","url":"https://www.wikidata.org/entity/Q6086096"}
image:
fields total:
13
integrity:
13