thank god we have digital PDFs nowadays because imagine guessing what \(\upharpoonright\) is
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
Follow
"I took a lecture into sheaf theory once. Thought it was an interesting construction. Read an appendix on coherent sheaves. Realised my mistake"
THAT BEING SAID when I understood what a finite mapping was it also clicked why they are so important relative to coherence
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