Если C -- коалгебра, то сама C -- это комодуль над C, а двойственное к ней векторное пространство C^* -- это контрамодуль над C. Распределения, сосредоточенные в точке -- это комодуль, а формальные степенные ряды -- это контрамодуль. Дальнейшие примеры здесь.