Achei esse comentário do Fosco Loregian no Zulip Chat de Applied Category Theory bem interessante:
by the way, I am in the process of (slowly, lazily) translating a couple of his first papers on exact squares, both as a service to the community, an exercise to revive my French, and a way to study them in depth (following the esoteric tradition of French mathematics, Guitart provides no proof of the theorems). Contexto: https://mattecapu.github.io/ct-zulip-archive/stream/271602-general:-co/appreciation/topic/Ren.C3.A9.20Guitart.html [[]], Eduardo -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6j9K771Ned7MvSfrYFcRH6zWvr0G7DYtkYNGLP4kDtR2A%40mail.gmail.com.