together with the canonical homomorphisms .

Direct limits in an arbitrary category

The direct limit can be defined in an arbitrary category by means of a universal property. Let be a direct system of objects and morphisms in (as defined above). A target is a pair where is an object in and are morphisms for each such that whenever . A direct limit of the direct system is a universally repelling target in the sense that

1.Previous
3.Next