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.
Datos:Q1228851
Agosto 28, 2021
categoría, discreta, matemáticas, específicamente, teoría, categorías, categoría, discreta, categoría, cuyos, únicos, morfismos, morfismos, identidad, josé, garciaalgunos, hechos, editardebido, definición, categoría, siempre, existen, morfismos, identidad, ent. En matematicas especificamente en teoria de categorias una categoria discreta es una categoria cuyos unicos morfismos son los morfismos identidad Jose garciaAlgunos hechos EditarDebido a la definicion de categoria 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 YClaramente cualquier clase de objetos genera una categoria discreta Una categoria es discreta si y solo si todas sus subcategorias son subcategorias plenas Cualquier subcategoria de una categoria discreta es una categoria discretaEl limite de un funtor de una categoria discreta en algun otra categoria coincide con la nocion de producto de forma dual el colimite coincide con la nocion de coproducto Referencias EditarRobert 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 Datos Q1228851Obtenido de https es wikipedia org w index php title Categoria discreta amp oldid 126944128, wikipedia, wiki, leyendo, leer, libro, biblioteca,