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
"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!