ob C 整个是一个记号,表示范畴C的对象类．
我说一下范畴的意思,你就明白这些内容了．
所谓范畴,就是由一系列成为对象（objects）的东西组成,
这些对象全体,组成一个类（类是有别于集合的一个概念）．
然后这些对象间还有箭头,箭头满足一定关系.
A class ob C of objects 可以翻译为：一个由对象组成的称为OB C的类