Commit 810a24c2197b1b72b39045688ca13f5d464e8778 Parent 08d27aa0cccea6c25e592157e2be45d9ae09efa5 Author Pablo <pablo-escobar@riseup.net> Date Thu, 16 Dec 2021 14:50:31 +0000 Added Grothendieck devilish commutative diagram to the repo