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

· · Web · 1 · 0 · 0

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

Sign in to participate in the conversation

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