Great! This means that I was right when I mentioned to a co-worker that Excel (and its filtering) would have an intersting implementation underneath (from my category theoretic perspective). In fact, I am quite interested to understand the formalisms behind it.

Do you know of any links or resources about this?