@sam update de la wokisme, simpler version on right avec une transformation naturelle de theorie des categories applied, pour moins de douleur de l'ame et de l'esprit... at least it's a natural isomorphism
i too would become the president of romania after winning perfect scores twice in the international mathematics olympiad if i was born in "fagaras" went to a high school called "radu negru" out of sheer spite