Variety (universal algebra)

构的泛性质。布尔巴基大量使用了其结论。丹尼尔·阚与1958年独立发现了与其密切相关的伴随函子概念。 Cohen, Paul M., Universal Algebra (1981), D.Reidel Publishing, Holland. ISBN 90-277-1213-1. Mac Lane

Masaki Kashiwara and Pierre Schapira, Categories and Sheaves, Springer. ISBN 3-540-27949-0 Pierre Schapira, Categories and Homological Algebra

许多当代数学领域中都有态射的身影。例如，在集合论中，态射就是函数；在群论中，它们是群同态；而在拓扑学中，它们是连续函数；在泛代数（universal algebra）的范围，态射通常就是同态。 对态射和它们定义于其间的结构（或对象）的抽象研究构成了范畴论的一部分。在范畴论中，态射不必是函数，而通

Lane 1978. Definition 1.6.5 in Borceux, Francis. Handbook of categorical algebra [範疇代數手冊]. Encyclopedia of mathematics and its applications 50-51, 53 [i

2nd, Springer-Verlag, 1998, ISBN 0-387-98403-8  MacLane, Saunders; Birkhoff, Garrett, Algebra 3rd, AMS Chelsea Publishing, 1999, ISBN 0-8218-1646-2 .