PPT Slide

C

D

F

G

H

n

e

Def :

C

D

F

H

e o n

Se

então

é

definida componente a componente como :

(e o n)T= eT o nT

Def. Sejam C e D duas categorias, então CD tem como objetos funtores de

D em C e como morfismos transformações naturais.

Exemplo: SETSw

(categoria dos conjuntos variando no tempo discreto)

Previous slide

Next slide

Back to first slide

View graphic version