补充资料：Grothendieck函子

Grothendieck函子
GrothenGeck functor

所以，映射X~h，定义了一个满嵌入h:C~C，称为Gm山end效k函子.用这个函子，就可能在一个范畴的对象上定义代数结构.见群对象(grouP obj喊);群概形(gro叩sc坛泪r).【补注】在英文文献中，Groth欣ldieck函子通常称为半甲参杏(、bn伐hem加dding)，或者半甲一Gro俪-d七太堆水(YOn。玉】一Grothe几由eCk elnbedding).C刊曲曰川如比函子【C和伯曰司如火如.叻叮;rlxyrel那.皿a巾外盯r叩】 从一个范畴C到范畴C的一个嵌入函子(见范畴的嵌入(加h刃ding ofca峋罗由))，这里的C是定义于C上取值于集合范畴E璐中的反变函子的范畴.设x为范畴C中的一个对象;映射Y~Homt了(Y，X)定义了一个从C到集合范畴的一个反变函子hx.对于C的任何对象F，存在一个自然的一一映射F(X)二Hom。(hx，F)(半甲彭粤(Yo她jen”刀a)).因此，特别有 Hom己(hx，h;)~Holnc(X，Y).

说明：补充资料仅用于学习参考，请勿用于其它任何用途。