Honestly I'm not sure. I've never delved into category theory. Suppose I finally will this evening Smiley