------------恢复内容开始------------
Def.Universe/U-set/U-small set/U-category/U-small category
Def.fully faithful/essentially surjective
Def.essentially U-small
Def. half-full fucntor/half-full subcatrgory
Def.Yoneda functors
Yoneda lemma
------------恢复内容结束------------