4.1.1 范畴的例子