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