applicazioni informatiche della teoria delle categorie

Project

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