SimoneHom函子
的有关信息介绍如下：
Hom函子是范畴论中连接模范畴的重要函子，包含共变与反变两种形式。其基本定义为：给定范畴C中的对象X，共变Hom函子Hom(X,-)将对象映射为态射集Hom(X,Y)，反变Hom函子Hom(-,X)则反转态射方向实现映射 。
在模范畴中，Hom_A(M,N)构成交换群结构，当M为双模时该结构保持稳定。作为张量函子的右伴随函子，Hom函子具有左正合性，能够保持投射极限、积与核的运算 。反变Hom函子还与预层概念对应，其映射规则通过态射复合实现方向反转 。
该函子起源于数学结构的形式化研究，其共变与反变性质通过集合范畴、线性代数等多领域实例阐释，在范畴论理论体系的构建中起到基础性作用 。
想要了解更多“Hom函子”的信息，请点击：Hom函子百科
