Функтор, перестановочный с нек-рыми пределами и копределами. А именно, функтор между абелевыми категориями и наз. точным, если он переводит короткие точные последовательности из категории в короткие точные последовательности категории Если и — неабелевы категории, то функтор наз. точным, если он переводит коммутативные диаграммы из в к-рых — ядерная пара v, a v — коядро пары в диаграммы с теми же сврйствами в М. Ш. Цаленко.