一个 函子 被称为协变的,如果它保持箭头的方向,即,每个箭头
被映射到一个箭头
。
协变函子
另请参阅
逆变函子, 遗忘函子, 函子, Hom, 张量积函子此条目由 Margherita Barile 贡献
使用 Wolfram|Alpha 探索
请如此引用
Barile, Margherita. “协变函子。” 来自 MathWorld——Wolfram Web 资源,由 Eric W. Weisstein 创建。 https://mathworld.net.cn/CovariantFunctor.html