A recent paper of Ben-Zvi and Nadler gives a general formalism for understanding "dimensions" in sheaf theories. Without getting too far into details, amongst other things, this formalism allows us ...
This is somewhat related to a question that I asked on Math.SE but, sadly, received no response. I apologize ahead of time if this is not appropriate for MO. Feel free to vote to close if this is the ...