Categoria (teoria das categorias)

Aspeto mover para a barra lateral ocultar

Na matemática, uma categoria é um conceito similar a um grafo direcionado, incluindo setas entre objetos, entre elas havendo identidades e uma operação de composição, com propriedades análogas à composição de funções.

A teoria das categorias é o estudo de propriedades e classificações de categorias e conceitos relacionados. Ela provê uma linguagem que simplifica conceitos e demonstrações em várias áreas de matemática, possibilitando delinear e separar os resultados gerais dos que se aplicam a uma área específica.

Categorias foram introduzidas por Samuel Eilenberg e Saunders Mac Lane com o objetivo de dar um significado rigoroso ao conceito de "canônico" ou "natural".

Definição

Uma categoria C consiste nos seguintes elementos:

Uma coleção de objetos, coleção esta denotada por ob C ou, simplesmente, C.
Para cada dupla a, b de objetos, uma coleção de triplas (a, b, f), chamadas setas (ou morfismos) do domínio (ou origem) a até o contradomínio (ou destino) b, para as quais são usadas as notações f : a → b, a → f b {\displaystyle a{\xrightarrow {f}}b} $a{\xrightarrow {f}}b$ , (a, b, f) ∈ homC(a, b) (ou brevemente f ∈ homC(a, b)), f ∈ C(a, b), f ∈ morC(a, b) ou dom(f) = a, cod(f) = b.
Para cada objeto a, uma seta de a até a, chamada identidade, e denotada por ida ou 1a.
Para cada tripla de objetos a, b, c, uma operação de composição, levando cada seta f : a → b e cada seta g : b → c a uma seta g ∘ f : a → c.
Devem ser satisfeitas as igualdades: (Lei da identidade) Para todos objetos a, b e todas as setas f : a → b, 1b ∘ f = f = f ∘ 1a. (Associatividade) Para todos objetos a, b, c, d e todas as setas f : a → b, g : b → c e h : c → d, (h ∘ g) ∘ f = h ∘ (g ∘ f).

Categorias definidas têm, comumente, nome escrito em negrito, como Cat, ou sem serifas, como C a t {\displaystyle {\mathsf {Cat}}} ${\mathsf {Cat}}$ . Nota-se que, como definido acima, hom(a, b) ∩ hom(c, d) = ∅ a menos que a = c e b = d.

Exemplos de categorias

A categoria dos conjuntos, denotada por Set (inglês set) ou por Ens (francês ensemble), tem como coleção de objetos a coleção de conjuntos pequenos, e, para cada dois objetos A, B seus, as setas (A, B, f) serão precisamente as funções de A a B (etiquetadas com seu domínio e contradomínio), sendo que a identidade e a composição correspondem às funções identidades e à composição de funções, respectivamente.
A categoria dos grupos, denotada por Grp, tem como coleção de objetos a coleção de grupos (G, ⋅) para os quais G é conjunto pequeno, e as suas setas correspondem aos homomorfismos de grupos. De maneira similar, há a categoria dos monoides Mon, dos grupos abelianos Ab, dos anéis Anel, dos módulos R-Mod etc.
A categoria dos espaços topológicos, denotada por Top, tem como objetos os espaços topológicos (X, τ) para os quais X é conjunto pequeno, e as suas setas correspondem às funções contínuas.
Para cada monoide (M, ⋅), há uma categoria B M, com um único objeto, e cujas setas correspondem biunivocamente aos elementos de M, com seta identidade sendo o elemento neutro de M, e composição dada pela operação ⋅.
Para cada pré-ordem (P, ≤), há uma categoria, cujos objetos são elementos de P, e tal que, para objetos a, b, há exatamente um morfismo a → b se a ≤ b, e nenhum se ¬ (a ≤ b). A existência de identidades vem de que a ≤ a, e a existência de composições segue da transitividade.
Para cada conjunto A, há uma categoria discreta, cujos objetos são precisamente os elementos de A, e na qual os únicos morfismos são as identidades.
Para cada grafo (V, E), há a categoria livre, cujos objetos são os vértices em V, e, dados objetos a, b, os morfismos a → b correspondem precisamente aos caminhos formados pelas arestas em E, iniciando em a e terminando em b; as identidades correspondem a caminhos de zero arestas, e as composições correspondem a concatenações de caminhos.

Categorias pequenas e grandes

Na teoria de conjuntos (mais precisamente axiomas de Zermelo-Fraenkel), não há conjunto incluindo todos os conjuntos. Similarmente, não há categoria incluindo todos os conjuntos (ou grupos, espaços topológicos etc.) Isso pode ser resolvido, usando universos de Grothendieck. Dado U {\displaystyle U} $U$ universo, chame um conjunto de ( U {\displaystyle U} $U$ -)pequeno se ele for membro de U {\displaystyle U} $U$ . Então, U - S e t {\displaystyle U{\text{-}}{\mathsf {Set}}} $U{\text{-}}{\mathsf {Set}}$ será a categoria dos conjuntos pequenos. Dado o axioma de universos, temos uma sequência:

U 0 - S e t ⊊ U 1 - S e t ⊊ U 2 - S e t ⊊ ⋯ {\displaystyle U_{0}{\text{-}}{\mathsf {Set}}\subsetneq U_{1}{\text{-}}{\mathsf {Set}}\subsetneq U_{2}{\text{-}}{\mathsf {Set}}\subsetneq \cdots }

U_{0}{\text{-}}{\mathsf {Set}}\subsetneq U_{1}{\text{-}}{\mathsf {Set}}\subsetneq U_{2}{\text{-}}{\mathsf {Set}}\subsetneq \cdots

em que U 0 ∈ U 1 ∈ U 2 ∈ ⋯ {\displaystyle U_{0}\in U_{1}\in U_{2}\in \cdots }

U_{0}\in U_{1}\in U_{2}\in \cdots

são universos.

Uma categoria é ( U {\displaystyle U} $U$ -)pequena quando o conjunto de objetos e todos os conjuntos de setas hom(a, b) são ( U {\displaystyle U} $U$ -)pequenos. Notar que U - S e t {\displaystyle U{\text{-}}{\mathsf {Set}}} $U{\text{-}}{\mathsf {Set}}$ é assim uma categoria U {\displaystyle U} $U$ -grande.

Na prática, o prefixo " U {\displaystyle U} $U$ -" é omitido.

Esta, porém, não é a única forma de resolver esse problemas lógicos. Adámek, Herrlich e Strecker, por exemplo, supõem somente a existência de conjuntos, classes e conglomerados (que correspondem, respectivamente, a elementos de um universo, subcoleções do universo e coleções de subcoleções do universo); nesse contexto, os hom são sempre conjuntos (não podem ser classes quaisquer), e uma categoria pequena é definida como uma categoria cuja coleção de objetos é um conjunto.

Categoria oposta

Para cada categoria C {\displaystyle C} $C$ , temos a categoria oposta (ou dual) C o p {\displaystyle C^{\mathrm {op} }} $C^{\mathrm {op} }$ , obtida invertendo a direção das setas de C {\displaystyle C} $C$ . Mais precisamente, C o p {\displaystyle C^{\mathrm {op} }} $C^{\mathrm {op} }$ tem os mesmos objetos que C {\displaystyle C} $C$ , e cada morfismo b → a {\displaystyle b\to a} $b\to a$ em C o p {\displaystyle C^{\mathrm {op} }} $C^{\mathrm {op} }$ é denotado por f o p : b → a {\displaystyle f^{\mathrm {op} }:b\to a} $f^{\mathrm {op} }:b\to a$ para exatamente um morfismo f : a → b {\displaystyle f:a\to b} $f:a\to b$ ; identidades são ( 1 a ) o p {\displaystyle (1_{a})^{\mathrm {op} }} $(1_{a})^{\mathrm {op} }$ , e composição é definida por

g o p ∘ f o p = ( f ∘ g ) o p {\displaystyle g^{\mathrm {op} }\circ f^{\mathrm {op} }=(f\circ g)^{\mathrm {op} }}

g^{\mathrm {op} }\circ f^{\mathrm {op} }=(f\circ g)^{\mathrm {op} }

para setas de domínio e contradomínio adequados.

A cada teorema do formato "para toda categoria C {\displaystyle C} $C$ , ϕ ( C ) {\displaystyle \phi (C)} $\phi (C)$ é verdade", há o costume de expressar o caso particular " ϕ ( C o p ) {\displaystyle \phi (C^{\mathrm {op} })} $\phi (C^{\mathrm {op} })$ " sem envolver a definição de categoria oposta (por exemplo, trocando "domínio" com "contradomínio", "monomorfismo" com "epimorfismo" etc.). Isso pode deixar mais fácil de encontrar demonstrações de outros resultados.

Produto de categorias

A categoria C a t {\displaystyle {\mathsf {Cat}}} ${\mathsf {Cat}}$ das categorias pequenas (e functores como morfismos) tem produtos binários. Eis uma construção explícita. Dadas categorias B , C {\displaystyle B,C} $B,C$ , os objetos de B × C {\displaystyle B\times C} $B\times C$ são as duplas ( b , c ) {\displaystyle (b,c)} $(b,c)$ , com b {\displaystyle b} $b$ objeto de B {\displaystyle B} $B$ e c {\displaystyle c} $c$ objeto de C {\displaystyle C} $C$ , e os morfismos ( b , c ) → ( b ′ , c ′ ) {\displaystyle (b,c)\to (b',c')} $(b,c)\to (b',c')$ são as duplas de morfismos f : b → b ′ {\displaystyle f:b\to b'} $f:b\to b'$ e g : c → c ′ {\displaystyle g:c\to c'} $g:c\to c'$ . A identidade de ( b , c ) {\displaystyle (b,c)} $(b,c)$ é ( 1 b , 1 c ) {\displaystyle (1_{b},1_{c})} $(1_{b},1_{c})$ , e composições são dadas por:

( f ′ , g ′ ) ∘ ( f , g ) = ( f ′ ∘ f , g ′ ∘ g ) {\displaystyle (f',g')\circ (f,g)=(f'\circ f,g'\circ g)}

(f',g')\circ (f,g)=(f'\circ f,g'\circ g)

Tipos de morfismos

Um morfismo f : a → b numa categoria C é chamado:

um monomorfismo quando é cancelável à esquerda, isto é, para todo objeto c e morfismos g, h : c → a satisfazendo f ∘ g = f ∘ h, vale g = h.
um epimorfismo quando é cancelável à direita, isto é, para todo objeto c e morfismos g, h : b → c satisfazendo g ∘ f = h ∘ f, vale g = h.
um bimorfismo quando é um monomorfismo e um epimorfismo.
uma seção quando é um inverso direito, isto é, existe g : b → a tal que g ∘ f = 1a.
uma retração quando é um inverso esquerdo, isto é, existe g : b → a tal que f ∘ g = 1b.
um endomorfismo quando a = b.
um isomorfismo quando é um inverso, isto é, existe g : b → a tal que g ∘ f = 1a e f ∘ g = 1b.
um automorfismo quando é um isomorfismo e um endomorfismo.
um idempotente quando a = b e f ∘ f = f.
um idempotente que cinde quando a = b e há objeto c e morfismos g : a → c e h : c → a tais que f = h ∘ g e g ∘ h = 1c.

Ligações externas

Notas

↑ Emprega-se o termo coleção, em vez de classe ou conjunto, para eximir, em primeiro contato, o leitor de preocupações com a lógica ou a teoria dos conjuntos. Ver, porém, a seção Categorias pequenas e grandes.

Referências

↑ (Mac Lane, Introdução)
↑ a b (Riehl, Prefácio)
↑ a b (Aluffi, §I.3.1)
↑ a b (Mac Lane, §I.1, §I.2)
↑ a b c (Riehl, §1.1)
↑ (Adámek, Herrlich, Strecker, §I.3.1)
↑ (Mac Lane, §II.7)
↑ (Mac Lane, §I.6): "Our foundation does not provide sets to represent certain metacategories, such as the metacategory of all sets or that of all groups."
↑ (Mac Lane, §I.6)
↑ (Adámek, Herrlich, Strecker, §0.2, §3.1, §3.44)
↑ (Mac Lane, §I.1, §I.2): "For more complicated theorems, the duality principle is a handy way to have (at once) the dual theorem. No proof of the dual theorem need be given. We usually leave even the formulation of the dual theorem to the reader."
↑ (Mac Lane, §II.3, III.4."products")
↑ (Mac Lane, §I.5)
↑ (Riehl, §1.2)

Bibliografia

ADÁMEK, Jiří; HERRLICH, Horst; STRECKER, George E. (2004). Abstract and Concrete Categories: The Joy of Cats.
ALUFFI, Paolo (2009). Algebra: Chapter 0. Col: Graduate Studies in Mathematics 1 ed. : American Mathematical Society. ISBN 978-0-8218-4781-7
MAC LANE, Saunders (1998). Categories for the Working Mathematician. Col: Graduate Texts in Mathematics 2 ed. : Springer. ISBN 0-387-98403-8
RIEHL, Emily (2014). Category Theory in Context.

Teoria das categorias

Categoria

Morfismo

Functor

Propriedade universal

Limite	Cone até functor Objeto terminal Produto Equalizador Produto fibrado
Colimite	Cone de functor Objeto inicial Coproduto Coequalizador Soma amalgamada

Adjunção e afins

v d e Tópicos sobre fundamentos da matemática
Lógica matemática	Axiomas de Peano Indução matemática Sistema axiomático Prova matemática Teoria dos modelos Construtivismo Lógica modal Lista de tópicos da lógica matemática
Teoria dos conjuntos	Conjunto Teoria ingênua dos conjuntos Teoria axiomática dos conjuntos Teoria de conjuntos de Zermelo Axiomas de Zermelo-Fraenkel Teoria descritiva de conjuntos Determinância Paradoxo de Russell Lista de tópicos sobre teoria dos conjuntos
Teoria das categorias	Categoria Teoria dos tipos Topos Glossário de teoria das categorias