The general notion of a direct limit of a commuting system of embeddings, indexed by pairs in a directed set, has seen heavy use in set theory. It is the same notion as in category theory. I was surprised to find that the general definition does not appear in the book on model theory by Chang and Keisler (MR1059055). Who was the originator of this idea?