Límite (teoría de categorías)


Límite (teoría de categorías)

En teoría de categorías, una rama de la matemática, la noción abstracta delímite captura las propiedades esenciales de las construcciones universales tales como productos y límites inversos.

La noción dual de colímite generaliza construcciones tales como uniones disjuntas, sumas directas, coproductos, pushouts y límites directos.

Los límites y colímites, como las nociones fuertemente relacionadas con propiedades universales y funtores adjuntos, existen a un gran nivel de abstracción. De manera que, para entenderlos, es útil estudiar primero los ejemplos específicos de esos conceptos que serán luego objeto de generalización.

Definición

Antes de definir el límite de un funtor covariante debemos definir el cono (en el sentido teoría de categorías, de cone) de un funtor (covariante) F : J \rightarrow C , ayudándonos del diagrama de abajo, que consta de:

  • Dos objetos de la categoría J: X e Y.
  • Un morfismo f, de dicha categoría, f:X\rightarrowY
  • Las imágenes por F de los dos objetos X e Y.
  • La "F-imagen" del morfismo f (imagen de f por F: F(f)).
  • Un objeto L de la categoría C, "vértice" del "cono".
  • Los conjuntos de morfismos X e Y (los llamamos igual que los objetos X e Y), que constan de todos los morfismos desde L a F(X) , y desde L hacia F(Y).

Limitefuntor.png


Si el objeto en J es X, en la definición de cono que damos decimos "X" también al conjunto de flechas que van del objeto L sobre el que hacemos el cono hacia dicho X. Además, el cono sobre L lo denotaremos así: (L, X), queriendo decir que hacemos la colección de todas las familias de flechas que apuntan desde L, esto es, esos conjuntos de flechas "X" en la categoría codominio del funtor F y que hemos denominado "varias" para sugerir que pueden ser varias.

Un límite del funtor F es entonces un "cono universal". Esto es, un cono (L, X) de F decimos que es un límite para el funtor F si y sólo si para todo otro cono (N, X) de F, existe sólo un morfismo u: N \rightarrow L tal que X · u = X.

Esto es, podemos decir que los morfismos X factorizan a través de L con la factorización única u.

La definición de colímite y de co-cono es la de arriba pero con todas las flechas "al revés". Debiera explicitarse.

Véase también


Wikimedia foundation. 2010.

Mira otros diccionarios:

  • Límite (Teoría de categorías) — Antes de definir el límite de un funtor covariante debemos definir el cono de un Funtor (covariante) F : J C , ayudándonos del diagrama de abajo, que consta de: ● Dos objetos de la categoría J: X e Y. ● Un morfismo f, de dicha categoría, f : X Y… …   Enciclopedia Universal

  • Teoría de categorías — En este artículo se detectaron los siguientes problemas: Necesita ser wikificado conforme a las convenciones de estilo de Wikipedia. Podría ser difícil de entender para lectores interesados en el tema. Por favor …   Wikipedia Español

  • Anexo:Glosario de teoría de categorías — Esto es una lista de tópicos en Teoría de categorías. Contenido 1 Categorías concretas 2 Objetos 3 Morfismos 4 Funtores …   Wikipedia Español

  • Límite — puede referirse a: Una linde o frontera territorial (como el limes romano, del que deriva etimológicamente la palabra castellana límite) que se utiliza convencionalmente para separar territorios. Genéricamente, a cualquier limitación o… …   Wikipedia Español

  • Límite matemático — En matemática, el límite es un concepto que describe la tendencia de una sucesión o una función, a medida que los parámetros de esa sucesión o función se acercan a determinado valor. En cálculo (especialmente en análisis real y matemático) este… …   Wikipedia Español

  • Límite directo — En matemática, un límite directo (también llamado límite inductivo) es un colímite de una familia directa de objetos . De manera general, se expondrá primero la definición para estructuras algebraicas como grupos y módulos, y luego la definición… …   Wikipedia Español

  • Límite inverso — En matemáticas, el límite inverso (también llamado límite proyectivo) es una construcción que permite pegar varios objetos relacionados, la manera precisa del proceso de pegado es especificada mediante morfismos entre los objetos. Se pueden… …   Wikipedia Español

  • Teoría del orden — La teoría del orden es una rama de la matemática que estudia varias clases de relaciones binarias que capturan la noción intuitiva del orden matemático. Este artículo da una introducción detallada a este campo e incluye algunas de las… …   Wikipedia Español

  • Teoría de haces — En matemática, un haz F sobre un espacio topológico dado, X, proporciona, para cada conjunto abierto U de X, un conjunto F(U), de estructura más rica. A su vez dichas estructuras: F(U), son compatibles con la operación de restricción desde un… …   Wikipedia Español

  • Teoría polivagal — La Teoría polivagal es una teoría neurofisiológica, psicofisiológica y filogenética enunciada por el Doctor Stephen W. Porges, de la Universidad de Illinois en 1995.[1] Según esta teoría, gran parte de la conducta social y las emociones tienen… …   Wikipedia Español