Post #2044524

By the way, a moderator privately asked me what I was referring to here. You can ask me publicly if you like! Censorious attitudes are best brightened by the light of day rather than hidden in DMs. I have nothing to hide. Here is how I responded: > There is a certain very witty French computer scientist who dug up this fact and started publishing papers about what he called "pre-fascist sets" — which is his terminology for "coalgebras for the cofree-presheaf comonad". His insight was that this can be used to give a definition of presheaf that has better computational properties. The brain-rot is the association of actual (pre)sheaves with fascism — which, like all great French Computer Scientist puns, is rooted simultaneously in the French language and a disdain for Mathematics and Mathematicians. ———— Most of the people who follow me know whom I am referring to, and in what great esteem I hold him, despite our numerous philosophical disagreements.