Wróć do Dyskusja:Teoria kategorii dla informatyków/Wykład 3: Zasada dualności i proste konstrukcje uniwersalne.