direct limit

colimit of a "directed family of objects"