Categoría simplemente enriquecida


En matemáticas, una categoría simplicialmente enriquecida , es una categoría enriquecida sobre la categoría de conjuntos simpliciales . Las categorías simplemente enriquecidas a menudo también se denominan, de manera más ambigua, categorías simpliciales ; sin embargo, el último término también se aplica a objetos simpliciales en Cat (la categoría de categorías pequeñas). Sin embargo, las categorías simplemente enriquecidas pueden identificarse con objetos simpliciales en Cat cuya parte del objeto es constante, o más precisamente, cuyos mapas de todas las caras y degeneración son biyectivos en los objetos. Las categorías simplemente enriquecidas pueden modelar (∞, 1)-categorías, pero el diccionario debe construirse cuidadosamente. A saber, muchas nociones, límites por ejemplo, son diferentes de los límites en el sentido de la teoría de categorías enriquecidas.