不可编辑
Definition 1.20 结尾建议修改一下
and we write F G if and only if there exist natural isomorphism t: F=>G