PARTE VIII Categorias

Não é possív el exibir esta imagem no momento.
Categorias
Informalmente uma categoria é uma coleção de objetos e funções
(“setas”) entre estes objetos, sujeitas à composição sempre que
uma seta termina onde uma segunda inicia.
1B
f B
g
1A A
g○f
C
1C
Categorias
Formalmente uma categoria A é uma coleção de objetos, chamada
obj A, e uma coleção de setas (ou morfismos) entre estes objetos,
chamada de morf A. Além disso:
i) Cada morfismo possui um domínio e um codomínio em obj A.
Se o domínio de f é A e o codomínio é B, escrevemos f: A→ B.
ii) Dados f: A→ B e g: B→ C, existe a composição dos morfismos
g○f: A→ C. Tal que h○(g○f)=(h○g)○f.
iii) Dado um objeto qualquer A existe o morfismo identidade
1A: A→Α tal que para toda f: A→ B:
1B○f = f = f○1A
Categorias
Usamos a composição como operação básica de morfismos, e não
a soma e o produto. Veremos posteriormente que estas podem ser
definidas em função daquela.
1B
f B
g
1A A
g○f
C
1C
Exemplo
Categoria Sets (conjuntos e funções entre conjuntos)
obj Sets = todos os conjuntos
As setas entre C e D, morf (C,D) = todas as funções entre C e D.
A composição é a composição usual de funções.
Pergunta: a função vazia é única?
Exemplo
Categoria Finsets (conjuntos finitos e funções entre estes)

obj Finsets = todos os conjuntos finitos
morf (C,D) = todas as funções entre C e D.
Exemplo
Categoria 1 (um único objeto, um único morfismo)

Obj 1 = { A }
morf (A,A) = 1A
1A A
Exemplo
Categoria 0 (nenhum, objeto, nenhum morfismo)

Obj 0 = ∅
morf 0 = ∅
Exemplo
Categoria Grps
obj Grps = todos os grupos
morf Grps = homorfismo entre grupos
composição = composição de homomorfismos
Exemplo
Categoria Rings
obj Rings = todos os anéis
morf Rings = homorfismo entre anéis
composição = composição de homomorfismos
Exemplo
Categoria Rel
obj Rel = conjuntos
morf Rel = relações binárias
composição = composição de relações
Exemplo
Na categoria abasixo f○g=1B e g○f=1A. Dizemos que f é um
isomorfismo, g=f-1 e que A≅B.
1A A
B
f 1B
Pergunta Z ≅ Q? (inteiros e racionais)

Em qual categoria?
Em Sets? Em Rings?
Exemplo
Seja X um conjunto. Definimos a categoria ℘X de forma que:
obj ℘X = subconjuntos de X. morf Rel = função de inclusão
entre os subconjuntos. Para X = {0,1,2} temos:
{0,1,2}
{0,1} {0,2} {1,2}
{0} {1} {2}
∅
Geradores
Uma maneira de apresentar uma categoria é exibir seus objetos e
algumas de suas setas (chamadas setas geradoras ou morfismos
geradores) junto com equações entre composição destes
morfismos. Exemplo:
Um único objeto, dois morfismos
Obj A = { A }
Gerador tal α que α○α = 1A
α
morf (A,A) = { 1A, α }
A
1A
Exemplo
Obj A = { A }
Gerador α tal que α○α = α
α
morf (A,A) = { 1A, α }
1A A
Exemplo
Obj A = { A }
Gerador α tal que α○α○α = 1A
morf (A,A) = { 1A, α, α2 }

α
1A A
α2
Exemplo
Obj A = { A, B, C }
α:A→B, β:B→C, δ:C→A. Categoria “livre” (sem equações)
α○δ○β
1B
δ○β
α B α○δ
β
1A A
δ○β○α δ
C
β○α 1C
β○α○δ
∀X,Y, Morf(X,Y) é infinito.
Categoria Dual
Informalmente, se A é uma categoria, a categoria dual de A, Aop, é
obtida de A invertendo-se todas as setas.
1B 1B
f B f B
g g
1A A 1A A
g○f f○g
C C 1C
1C
Categoria Dual
℘X )op ≅ ℘X
(℘ (≅ significa é isomórfica a )
(Finsets )op ≅ FinBoolAlg
Qual é uma boa definição de isomorfismo ?

Isomorfismo entre Categorias

Se A e B são categorias diz-se que um isomorfismo entre A e B é
um par de funções Φ:
Φ: obj A → obj B
Φ: morf A → morf B
Tal que:
(i) f: A1 → A2 ∈ morf A ⇒ Φ(f): Φ(A1) → Φ(A2) ∈ morf B
(ii) Φ(g○f) = Φ(g)○Φ( f)
(iii) Φ(1A) = 1Φ(A)
Características de Objetos
Na computação é fundamental a noção de funções de duas ou
mais variáveis, como por exemplo, soma: N × N → N.
Em teoria das categorias teremos que definir os objetos especiais,
tais como produtos, somas, etc, em função de sua relação com
os demais objetos da categoria.
O primeiro exemplo que daremos é a caracterização do conjunto
vazio e “do” conjunto unitário em função das setas existentes
entre um objeto e os demais objetos da categoria.
Objeto Terminal
Caracterização do conjunto unitário:
∀X∈ morf Sets ∃! f:X→I ⇔ I é um conjunto unitário, {*}
Em uma categoria A, dizemos que I é um objeto terminal ⇔

∀ X∈ morf A ∃! f:X→I
Normalmente chamamos este morfismo de ! :X→I
I é um objeto terminal ⇔ ∀ X
!
X I
Objeto Inicial
Caracterização do conjunto vazio:
∀X∈ morf Sets ∃! f:O→X ⇔ O é o conjunto Vazio
Em uma categoria A, O é um objeto inicial ⇔ ∀ X
!
O X
Obs: I é terminal de A ⇔ I é inicial em Aop

Elementos
Em Sets quem são as setas {*}→X ?
Em uma categoria A com elemento terminal I, chamamos as setas

I→X de elementos de X.
e
I X
Produtos
Em uma categoria A diz-se que um objeto X×Y com duas setas :
π1 π2
X X×Y Y
É o produto de X e Y ⇔ se existe objeto Q com setas q1:Q→X e

q2:Q→Y, então ∃!α: Q→ X×Y tal que o seguinte diagrama comuta:
q1
α q2
π1 π2
X X×Y Y
Função Diagonal
Em Sets existe a função ∆X:X→X×X tal que ∆(x)=(x,x).
Em uma categoria qualquer na qual exista o produto X×X pode-se

definir ∆X como a única seta que faz o seguinte diagrama comutar:
1X
∆X 1X
π1 π2
X X×X X
Produto de Funções
Em Sets se f:X1→Y1 e g:X2→Y2 existe a função:
f⊗g:X1×X2→Y1×Y2 tal que f⊗g(x1,x2)=(f(x1),g(x2)).
Em uma categoria qualquer na qual existam os produtos X1×X2 e
Y1×Y2 pode-se definir f⊗g como a única seta que faz o
seguinte diagrama comutar:
πx1 πx2
X1 X1×X2 X2
f f⊗g g
πy1 πy2
Y1 Y1×Y2 Y2
Função Twist
Em Sets se existe twist:X×Y→Y×X tal que twist(x,y)=(y,x).
Em uma categoria qualquer onde existam os produtos X×Y e Y×X
podemos definir twistX,Y como a única seta que faz o seguinte
diagrama comutar:
X×Y
q2 q1
twist
π1 π2
Y Y×X X
Somas
Em uma categoria A diz-se que um objeto X+Y com duas setas :
i1 i2
X X+Y Y
É a soma de X e Y ⇔ se existe objeto Q com setas j1:X→Q e

j2:Y→Q, então ∃α:X+Y→Q tal que o seguinte diagrama comuta:
j1
α j2
i1 i2
X X+Y Y
A definição de soma é dual da definição de produto.

Função Codiagonal
Em Sets existe a função ∇X:X→X+X tal que ∇(x,0)=∇(x,1)=x.
Em uma categoria qualquer na qual exista o coproduto X+X pode-se

definir ∇X como a única seta que faz o seguinte diagrama comutar:
1X
∇X 1X
i1 i2
X X+X X
Soma de Funções
Em Sets se f:X1→Y1 e g:X2→Y2 existe a função:
f⊕g:X1+X2→Y1+Y2 tal que f×g(x1,x2)=(f(x1),g(x2)).
Em uma categoria qualquer na qual existam os produtos X1+X2 e
Y1+Y2 pode-se definir f⊕g como a única seta que faz o
πx1 πx2
X1 X1+X2 X2
f f⊕g g
πy1 πy2
Y1 Y1+Y2 Y2
Função Cotwist
Em Sets se existe cotwist:X+Y→Y+X tal que cotwist(x,0)=(x,1) e
cotwist(y,1)=(y,0).
Em uma categoria qualquer onde existam os produtos X+Y e Y+X
podemos definir cotwistX,Y como a única seta que faz o
X+Y
j2 j1
cotwist
i1 i2
Y Y+X X
Fluxogramas
Construir a função:
f:ℜ→ℜ tal que:
f(x) = sin x se x ≤ 0
ex se se x>0
x sin x (x>0)
sin x
false
x f(x)
X>0
true x ex ex (x≤0)
Fluxogramas
x sin x (x>0)
sin x
false
x f(x)
X>0
true x ex ex (x≤0)
testx>0 sin ⊕ exp ∇

ℜ→ℜ+ℜ→ℜ+ℜ→ℜ
Construir testx≥1:ℜ→ℜ+ℜ tal que f(x) = (x,0) se x < 1, e (x,1) cc.

Usando apenas as funções testx>0e f(x) = 1−x.
1− x x (x<1)
false 1−x
x 1−x 1−x X>0
true
1−x
1− x x (x ≥ 1)
testx>0 cotwist 1−x⊕1−x

1−x
ℜ→ℜ→ℜ+ℜ→ℜ+ℜ→ℜ+ℜ

PARTE VIII Categorias

Enviado por

Dados do documento

Descrição original:

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

PARTE VIII Categorias

Enviado por

Direitos autorais:

Formatos disponíveis

Não é possív el exibir esta imagem no momento.

Categoria Finsets (conjuntos finitos e funções entre estes)

Categoria 1 (um único objeto, um único morfismo)

Categoria 0 (nenhum, objeto, nenhum morfismo)

Pergunta Z ≅ Q? (inteiros e racionais)

{0,1} {0,2} {1,2}

{0} {1} {2}

morf (A,A) = { 1A, α, α2 }

Qual é uma boa definição de isomorfismo ?

Isomorfismo entre Categorias

Em uma categoria A, dizemos que I é um objeto terminal ⇔

Em uma categoria A, O é um objeto inicial ⇔ ∀ X

Obs: I é terminal de A ⇔ I é inicial em Aop

Em uma categoria A com elemento terminal I, chamamos as setas

É o produto de X e Y ⇔ se existe objeto Q com setas q1:Q→X e

Em uma categoria qualquer na qual exista o produto X×X pode-se

É a soma de X e Y ⇔ se existe objeto Q com setas j1:X→Q e

A definição de soma é dual da definição de produto.

Em uma categoria qualquer na qual exista o coproduto X+X pode-se

testx>0 sin ⊕ exp ∇

Construir testx≥1:ℜ→ℜ+ℜ tal que f(x) = (x,0) se x < 1, e (x,1) cc.

x 1−x 1−x X>0

testx>0 cotwist 1−x⊕1−x

Você também pode gostar