Lannexe contient une description de la théorie des catégories. Lapplication comprend une recherche pratique.
