Quelques conventions de style :

La composition des fonctions peut se noter avec \circ (ou ∘ en Unicode
si ça marche).  La fonction identité se note \Id.

? Un lemme peut-il être un énoncé non intermédiaire ?

Faire la chasse aux rats (p. ex. : « on note »
au lieu de « on note »).

Mettre des notes historiques en fin de chapitre (cf.
le Ireland et Rosen). Y expliquer un peu où l'on va 
et quels sont les avantages (if any) des points de vue développés.

☡ Attention aux « En particulier » abusifs.

(F.) Quelques soient ↔ (D.) Quels que soient ? 
(On dirait que le second est plus courant ; c'est ce que fait Bourbaki.)

Point à la fin d'une phrase s'achevant par un diagramme ?
(D.) ne le fait pas dans « categories.tex »
(F.) il me semble que l'usage est d'en mettre un. (Mais où ?)