(monomorphism)
71Injective object — In mathematics, especially in the field of category theory, the concept of injective object is a generalization of the concept of injective module. This concept is important in homotopy theory and in theory of model categories. The dual notion is …
72Cancellation property — In mathematics, the notion of cancellative is a generalization of the notion of invertible. An element a in a magma (M,*) has the left cancellation property (or is left cancellative) if for all b and c in M, a * b = a * c… …
73Category of metric spaces — The category Met, first considered by Isbell (1964), has metric spaces as objects and metric maps or short maps as morphisms. This is a category because the composition of two metric maps is again metric.The monomorphisms in Met are the injective …
74List of commutative algebra topics — Commutative algebra is the branch of abstract algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative… …
75Category of preordered sets — The category Ord has preordered sets as objects and monotonic functions as morphisms. This is a category because the composition of two monotonic functions is monotone.The monomorphisms in Ord are the injective monotonic functions.The empty set… …
76Chemical database — A chemical database is a database specifically designed to store chemical information. This information is about chemical and crystal structures, spectra, reactions and syntheses, and thermophysical data. Contents 1 Types of chemical databases… …
77Algebraic K-theory — In mathematics, algebraic K theory is an important part of homological algebra concerned with defining and applying a sequence Kn(R) of functors from rings to abelian groups, for all integers n. For historical reasons, the lower K groups K0 and… …
78Duality (mathematics) — In mathematics, a duality, generally speaking, translates concepts, theorems or mathematical structures into other concepts, theorems or structures, in a one to one fashion, often (but not always) by means of an involution operation: if the dual… …
79Pullback (category theory) — In category theory, a branch of mathematics, a pullback (also called a fibered product or Cartesian square) is the limit of a diagram consisting of two morphisms f : X → Z and g : Y → Z with a common codomain. The pullback is often written: P = X …
80Derived category — In mathematics, the derived category D(C) of an abelian category C is a construction of homological algebra introduced to refine and in a certain sense to simplify the theory of derived functors defined on C. The construction proceeds on the… …
