applicazioni informatiche della teoria delle categorie

Progetto

categorie distributive, categorie monoidali ed arricchite, applicazioni alla concorrenza. Omologia, omotopia,Cat-gruppi.