[GdT Categories] Review of "Formalization of Higher Categories"

Dear Denis-Charles Cisinski, I attach a review of your joint book project, which was written collectively with participants in a reading group at Université Sorbonne Paris Nord (named in the document). Please share it with your coauthors; we hope it will contribute to the improvement of future iterations of this important work. Best regards, Morgan ROGERS