PPT Slide

Transformações Naturais

ReversoT: Lista(T) Lista(T)

Lista(T1)

Lista(T2)

T1

T2

f

Lista(f)

Lista(T1)

Lista(T2)

Lista(f)

ReversoT1

ReversoT2

A coleção de morfismos ReversoT, para T em SETS, é uma transformação natural

do funtor Lista nele mesmo

Transformações Naturais

Polimorfismo

Previous slide

Next slide

Back to first slide

View graphic version