Categoría discreta

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

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.

Definición[editar]

Una categoría C es una categoría discreta si

homC(X, X) = {idX} para todos los objetos X en C.
homC(X, Y) = ∅ para todos los objetos XY en C.

Algunos hechos[editar]

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[editar]

  • 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.