thank god we have digital PDFs nowadays because imagine guessing what $$\upharpoonright$$ is

· · Web · · ·

easy enough when inline but try subscript: $$_\upharpoonright$$

I thought for the longest time it was just the vertical bar you use for restricting a mapping

why is it a harpoon anyway

why not even a full arrow

why did i even consider category theory to be something fascinating at some point rather than a collection oh hacks

"I took a lecture into sheaf theory once. Thought it was an interesting construction. Read an appendix on coherent sheaves. Realised my mistake"

the appendix literally starts out explaining what a presheaf is and basically stays in the comfort zone of the sheafs of analytic functions but still

THAT BEING SAID when I understood what a finite mapping was it also clicked why they are so important relative to coherence

also thanks detexify

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!