En matemáticas específicamente en teoría de categorías una categoría discreta es una categoría cuyos únicos morfismos son los morfismos identidad.
José garcia Debido a la definición de categoría, siempre existen el morfismos identidad entre un mismo objeto es equivalente la siguiente decir que Claramente cualquier clase de objetos genera una categoría discreta.
Una categoría es discreta si y solo si todas sus subcategorías son subcategorías plenas.
Cualquier subcategoría de una categoría discreta es una categoría discreta El límite de un funtor de una categoría discreta en algún otra categoría coincide con la noción de producto de forma dual el colímite coincide con la noción de coproducto.