Пусть — алгебра над кольцом . Дифференцирование алгебры — это -линейное отображение , удовлетворяющее тождеству Лейбница:
В более общем случае дифференцирование коммутативной со значениями в -модуле — это -линейное отображение , удовлетворяющее тождеству Лейбница. В этом случае называют дифференциальным модулем над Множество всех дифференцирований со значениями в обозначается (, ) и является -модулем. Функтор является представимым, его представляющий объект обозначается или и называется модулем кэлеровых дифференциалов. является начальным объектом в категории дифференциальных модулей над , то есть существует такое дифференцирование , что любое дифференцирование пропускается через :
Кардиналистский и ординалистский подходы Кардиналистский (количественный подход) к анализу полезности основан на представлении о возможности измерения различных благ в условных единицах полезности...
Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит. Multisim оперирует с двумя категориями...
Этапы творческого процесса в изобразительной деятельности По мнению многих авторов, возникновение творческого начала в детской художественной практике носит такой же поэтапный характер, как и процесс творчества у мастеров искусства...
Реостаты и резисторы силовой цепи. Реостаты и резисторы силовой цепи.
Резисторы и реостаты предназначены для ограничения тока в электрических цепях. В зависимости от назначения различают пусковые...
— алгебра над кольцом 
. Дифференцирование алгебры 
, удовлетворяющее тождеству Лейбница:
— это 
, удовлетворяющее тождеству Лейбница. В этом случае 
(
, 
) и является 
является представимым, его представляющий объект обозначается 
или 
и называется модулем кэлеровых дифференциалов. 
, что любое дифференцирование 
пропускается через 
:
