Multivalued Operations and Universal Coalgebra
Robert Davis · Proceedings of the American Mathematical Society · 1972
We define a type of representation of a semigroup by relations on a set, more general than the representation by transformations, which leads to a category cotripleable over the category of sets. This result motivates a generalization to higherorder operations and a concept of cotheory resembling that of theory in universal algebra.