[j2kun]

You don't need to teach category theory proper to get the idea. So I think we are in agreement :)