------------恢复内容开始------------
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
------------恢复内容结束------------
来源:https://www.cnblogs.com/zny14/p/12337494.html