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