Asist. Codrut MATEI
Universitatea Alexandru Ioan Cuza, Facultatea de Informatica
Iasi
Romania
-----------------------------------
          
Asupra Lemei lui Yoneda asa cum este tratata in "Categories
for the Working Mathematician" de Saunders Mac Lane
-----------------------------------
          
ABSTRACT
-----------------------------------
Cartea lui Saunders Mac Lane este un monument al matematicii
si in acelasi timp un exemplu de exprimare laconica si criptica.
Redau sectiunea dedicata Lemei lui Yoneda si adaug demonstratiile
acolo unde mi s-a parut ca detaliile din demonstratii sunt insuficiente
sau lipsesc.
          
SHORT CV
-----------------------------------
Codrut Matei este asistent universitar in cadrul Facultatii
de Informatica (sustinand seminarii si laboratoare de baze de
date, programare C si OOP), licentiat al aceleiasi facultati
cu lucrarea de diploma in domeniul limbajelor formale (1995)
si avand un masterat in domeniul Sistemelor Distribuite. 
Domeniul sau de cercetare il constituie formalizarea tipurilor
abstracte de date folosind teoria categoriilor.