Sull’onda del successo del corso su YouTube, alcuni membri di ItaCa hanno iniziato a scrivere un libro di teoria delle categorie.
Dall’idea iniziale di coadiuvare lo studio durante il corso, questo progetto si è trasformato verso il redarre un testo quanto più completo possibile che introduca il linguaggio e le applicazioni della teoria delle categorie.
L’utente ideale di questo testo è chi, avvicinandosi alla fine di una laurea, per curiosità o necessità deve familiarizzare con le definizioni e i teoremi più importanti, o vuole scoprire applicazioni più di nicchia.
La natura del progetto è collaborativa: il sorgente è liberamente disponibile (la repo può essere forkata e accettiamo con piacere delle PR); una copia dell’ultima versione del testo è leggibile senza possedere infrastruttura o conoscenze riguardo il controllo versione; la partecipazione è fortemente incoraggiata (nel dare feedback, nel fare una PR segnalando errori o mancanze, etc).
Finora hanno collaborato:
- Fosco Loregian
- Beppe Metere
- Paolo Perrone
- Enrico Ghiorzi
- Enrico Vitale
- Paolo Brasolin
- Jacopo Emmenegger
… e molti altri collaboratori occasionali.