Diagrama (teoría de categorías)

Un diagrama en la teoría de categorías es un análogo categórico de un conjunto indexado en la teoría de conjuntos, la principal diferencia es que hay morfismos en una categoría que también deben indexarse.

Un diagrama de tipos en una categoría se define como un funtor covariante ; una categoría también se denomina categoría de índice o esquema de diagrama . Un diagrama se llama pequeño o finito si la categoría es, respectivamente , pequeña o finita . El morfismo de los diagramas de tipos de una categoría en una categoría es una transformación natural de los funtores correspondientes. ${\mathcal {J}}$ ${\ matemática C}$ $D\colon {\mathcal {J}}\to {\mathcal {C}}$ ${\mathcal {J}}$ $D$ ${\mathcal {J}}$ ${\mathcal {J}}$ ${\ matemática C}$

Un diagrama conmutativo se puede ver como una visualización de un diagrama de tipo de orden parcial .

Literatura

Adámek, Jiří; Horst Herrlich y George E. Strecker. Categorías Abstractas y Concretas (neopr.) . - John Wiley & Sons , 1990. - ISBN 0-471-60922-6 . Ahora disponible como edición gratuita en línea (PDF de 4,2 MB).