Subcategoría adecuada

En la teoría de categorías , una rama de las matemáticas, una subcategoría adecuada de una categoría X es un análogo de un subespacio denso en topología para prehaces : es decir, una subcategoría${\displaystyle i:A\hookrightarrow X}$de tal manera que la restricción de la incrustación de Yoneda${\displaystyle X\hookrightarrow \mathbf {P} (X)}$a lo largo de${\displaystyle i}$sigue siendo totalmente fiel . ^{[ 1 ]} La noción fue introducida por Isbell en 1960. Nótese que algunos autores ^{[ 2 ]} utilizan el término subcategoría densa para esta noción, aunque puede significar algo diferente en otros contextos.

• John Isbell, Subcategorías adecuadas, Illinois J. Math. 4 (1960) pp.  541–552.

• Subcategoría densa