Yoneda引理

出自維基百科,自由嘅百科全書

範疇論入面,Yoneda引理可以話係最基礎但係又最重要嘅定理,佢可以將局部小範疇嵌入去對應嘅函子範疇入面,可以睇做羣論入面嘅Cayley定理嘅推廣。