Category(1)

标签：def   category   src   func   mamicode   set   hal   结束   EDA   

------------恢复内容开始------------

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

------------恢复内容结束------------

Category(1)

标签：def   category   src   func   mamicode   set   hal   结束   EDA   

原文地址：https://www.cnblogs.com/zny14/p/12337494.html