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
Algunos hechos
Debido a la definición de categoría, siempre existen el morfismos identidad entre un mismo objeto es equivalente la siguiente decir que
- |homC(X, Y)| es 1 cuando X = Y y 0 cuando X es distinto de Y
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.
Referencias
- Robert Goldblatt (1984). Topoi, the Categorial Analysis of Logic (Studies in logic and the foundations of mathematics, 98). North-Holland. Reprinted 2006 by Dover Publications, and available online at Robert Goldblatt's homepage.