Couvre les bases des langues formelles, y compris les alphabets, les mots et les langues, ainsi que des opérations comme la concaténation et l'inversion.
Couvre les concepts d'algèbre abstraite en utilisant des classes de type dans Scala, y compris la définition des monoïdes, la généralisation des fonctions de réduction et les lois de classe de type.
Couvre les objets fibreux, le levage des cornes, et l'adjonction entre quasi-catégories et complexes kan, ainsi que la généralisation des catégories et complexes kan.
