Teoría das categorías

teoría matemática que trata de forma abstracta das estruturas matemáticas e das relacións entre elas
(Redirección desde «Teoría de categorías»)

A teoría das categorías é unha teoría matemática que trata de forma abstracta das estruturas matemáticas e das relacións entre elas. A teoría das categorías foi por descrita por primeira vez por Samuel Eilenberg e Saunders MacLane en 1945, como unha teoría relacionada con topoloxía alxébrica.

A teoría supón unha xeneralización da teoría de conxuntos. Nela estúdanse obxectos e morfismos entre estes. Estes obxectos poden ser entendidos como conxuntos estruturados e os morfismos (tamén chamados frechas) como funcións entre estes conxuntos, aínda que, nos casos máis xerais de categorías, este paralelismo non poida facerse.

A teoría das categorías pode ser entendida como un "xogo de frechas", en que se abstrae o significado das construcións.

Fornece unha descrición abstracta de problemas das matemáticas, constituíndo entón nunha contorna consistente e unificada para o estudo de diversas áreas das matemáticas. A capacidade de xeneralización, abstracción e unificación de teorías é o gran mérito de teoría das categorías.

Así, proporciona mecanismos para representar varias estruturas matemáticas, como por exemplo transformacións naturais, produtos cartesianos, funcións, topoloxías etc.

As aplicacións da teoría das categorías esténdense por áreas como a álxebra, a teoría da recursividade, a semántica formal etc.

Historia

editar

A teoría das categorías foi introducida na topoloxía alxébrica por Samuel Eilenberg e Saunders Mac Lane en 1942, nun importante paso para a transición dende a homoloxía á teoría da homoloxía. Stanislaw Ulam afirma que existían ideas parecidas na escola polaca dos anos 30.[1]

Os desenvolvementos seguintes da teoría foron impulsados polas necesidades computacionais da álxebra homolóxica e máis tarde polas necesidades axiomáticas da xeometría alxébrica.[1] A teoría xeral (actualización da álxebra universal con moitas características novas que daban pie a unha certa flexibilidade en semántica e lóxicas de orde superior) veu máis tarde.

Estas aplicacións das categorías no campo dos fundamentos están sendo traballados en detalle e non só nas matemáticas: matemáticos como William Lawvere traballan na física, e físicos traballaron en n-categorías, como John Baez.

Relación filosófica

editar

Escolleuse o vocábulo categoría de Aristóteles, mais no sentido de Kant coa intención de asocialo a unha forma pura no contexto exclusivamente matemático, é dicir, sen efectos fóra das matemáticas.

Composición

editar

A única operación esixida nunha categoría é a composición. A composición en categorías é unha xeneralización da composición de funcións da teoría de conxuntos.

Na teoría dos conxuntos, dadas dúas funcións   (que ten como dominio o conxunto   e como codominio o conxunto  ) e  , defínese   como sendo a composición de   e  ,  , desde que   para todo  .

Definición de categoría

editar

Unha categoría consiste nos seguintes elementos:

  • Unha clase de obxectos  
  • Para cada par de obxectos  , unha clase de morfismos ou frechas de   para  , denotados por   (e neste caso dise que   é o obxecto orixe e   é o obxecto destino da frecha);
  • Para cada obxecto  , un morfismo chamado identidade en a,   que ten orixe e destino en  ;
  • Unha operación de composición que asocia a cada par de morfismos   e   un morfismo   chamado morfismo composto de   e  , tales que se satisfán os seguintes axiomas:
  • (asociatividade) Sexan  ,   e  . Entón  ;
  • (identidade) Para todo obxecto  , existe un morfismo   chamado morfismo identidade de  , tal que para todo  , se ten   e para todo  , tense  .

Diagramas

editar
 
Diagrama conmutativo da propiedade da asociatividade

Os diagramas serven para representar categorías. Se a composición de todos os camiños entre dous obxectos dun diagrama son iguais, dise que o diagrama conmuta ou que é comutativo.

Pódense expresar as propiedades de teoría das categorías a través de diagramas conmutativos. Un exemplo é o diagrama ilustrado ao lado. Datos  ,   e   que representa a propiedade asociativa,  .

Exemplos de categorías

editar
  • A categoría dos conxuntos, denotada por Set ou Ens. Ten por obxectos conxuntos e por morfismos as funcións entre conxuntos. A composición de morfismos é reparada na composición usual de funcións.
  • A categoría dos grupos. Ten por obxectos grupos e por morfismos os homomorfismos de grupos. A composición é dada pola composición de funcións; a composición de homomorfismos de grupo é tamén un homomorfismo de grupo.
  • A categoría dos espazos topolóxicos. Os obxectos son os espazos topolóxicos; os morfismos son as aplicacións continuas. A composición é a usual.
  • A categoría dos espazos vectoriais. Os obxectos son os espazos vectoriais; os morfismos son as transformacións lineares.
  • Un grafo orientado define unha categoría, tendo por obxectos os nós ou vértices do grafo e por morfismos os camiños ao longo do grafo. A composición de morfismos é definida pola concatenación de camiños. Así, existe un morfismo entre dous nós se existir un camiño, no grafo, que ligue os dous nós.
  • Un conxunto parcialmente ordenado   define unha categoría que ten por obxectos os elementos do conxunto  . Un único morfismo entre dous elementos   e   defínese se  . A lei de composición dedúcese da transitividade da relación de orde.

Dualidade

editar

A dualidade é unha das nocións máis poderosas da teoría das categorías. Permite herdar resultados da categoría orixinal para a dual e viceversa. Nese caso dada unha definición nunha categoría, para obter o concepto dual basta inverter as frechas.

Monomorfismos, epimorfismos e isomorfismos

editar

Sexa unha categoría C e obxectos   e   desta categoría.

Unha frecha   chámase monomorfismo se e soamente se  . Ou sexa, unha frecha é monomorfismo se pode ser cancelada á esquerda dunha composición.

En Set unha frecha monomorfismo pode ser entendida como unha función inxetora.

Unha frecha   chámase epimorfismo se e soamente se  . Ou sexa, unha frecha é epimorfismo se pode ser cancelada á dereita dunha composición.

En Set unha frecha epimorfismo é unha función sobrexetora.

Finalmente, unha frecha   é isomorfismo se e soamente se existe   tal que   e  .

Toda frecha isomorfismo é monomorfismo e epimorfismo, aínda que o contrario non sexa necesariamente verdade. Por exemplo, na categoría formada por dous obxectos   e  , os morfismos identidade, e un único morfismo  ,   é un monomorfismo e un epimorfismo, porén non é un isomorfismo.

En Set podemos pensar unha frecha isomorfismo como unha función bixectora.

Obxectos isomórficos

editar

Dous obxectos   e   dunha categoría son isomórficos,  , se existe unha frecha   que é isomorfismo.

Un isomorfismo establece, en certo grao de abstracción, unha relación de "semellanza" ou "equivalencia" entre obxectos.

Obxectos inicial e terminal

editar

O obxecto inicial e o obxecto terminal son as construcións máis simples en teoría das categorías.

Sexa C unha categoría. Un obxecto   é inicial se e soamente se para calquera obxecto   existe un único  . O obxecto inicial é unha noción universal, ou sexa, definida pola existencia e unicidade de morfismos.

Un exemplo de obxecto inicial en Set é o conxunto baleiro,  , pois existe unha única función total que ten como orixe   e ten como destino calquera outro conxunto, e esta é a función baleira (ou sexa, aquela en que o gráfico da función é baleiro).

O obxecto inicial é único, a non ser por isomorfismos.

O obxecto terminal,  , é simplemente a noción dual de obxecto inicial. Significa que, dado un obxecto   da categoría, existe un único  .

En Set calquera conxunto unitario (conxunto cun único elemento) é terminal. Isto ocorre porque, dado calquera outro conxunto, só existe unha función total con orixe neste conxunto e destino no conxunto unitario, que é a función constante (aquela en que os valores da función para todo o dominio son iguais).

Produtos e límites

editar

O concepto de límite incorpora a idea dunha construción universal, ou sexa, unha construción que ten un comportamento privilexiado ("óptimo") en relación a todas as outras que satisfán determinada propiedade. O límite está dado pola existencia dunha frecha única entre todas estas construcións e a construción que é considerada óptima.

 
Diagrama conmutativo do produto categorial.

Un dos exemplos máis simples de límite en teoría das categorías é o produto categorial, que é unha xeneralización do produto cartesiano. O produto categorial tamén é unha noción universal.

Sexa C unha categoría e   e   dous obxectos da categoría C. O produto categorial de   e   é un obxecto   e dous morfismos   e  , tal que dado calquera obxecto   da categoría e para calquera morfismos   e   existe exactamente un   tal que o diagrama da figura ao lado conmuta.

Os morfismos   e   chámanse proxeccións.

Pódese chamar o obxecto   xunto coas frechas   e   pre-produto.

Naturalmente pódese definir o concepto dual ao produto categorial que se chama coproduto. Para iso basta inverter as frechas do diagrama do produto.

O produto categorial é un exemplo de límite, pois vén dado pola existencia dunha frecha única (neste caso a frecha  ) entre calquera outro pre-produto e el.

Outros exemplos da noción de límites en teoría das categorías son o equalizador, o produto fibrado, e o cono.

Funtores

editar

Os funtores son aplicacións entre categorías que preservan estruturas. Poden ser entendidos como homomorfismos na categoría de todas as categorías pequenas (ou sexa, a categoría que ten como obxectos todas as categorías compostas por obxectos que son conxuntos).

Un funtor (covariante)   da categoría C para a categoría D:

  1. asocia para cada obxecto   en C un obxecto   en D;
  2. asocia para cada morfismo   un morfismo  

tal que son válidas as seguintes propiedades:

  1.  
  2.   para todos os morfismos   e  .
  1. 1,0 1,1 Introducción al álgebra abstracta".Juan Francísco Escamílla Catillo , pp. 329.

Véxase tamén

editar

Bibliografía

editar
  • BARR, Michael; WELLS, Charles. Category Theory for Computing Science, Prentice Hall, Londres, 1990.
  • MAC LANE, Saunders. Categories for the Working Mathematician. 2.ª ed. Graduate Texts in Mathematics 5. Springer, 1998. ISBN 0-387-98403-8.

Outros artigos

editar

Ligazóns externas

editar