В теорії категорій нульовий морфізм — морфізм, що узагальнює властивості лінійних відображень в нульовий вектор.
Означення Нехай C — категорія, і f : X → Y — морфізм в C. F називається постійним морфізмом, якщо для будь-якого об'єкта W в C і будь-яких g, h : W → X, fg = fh. Відповідно, f називається копостійним морфізмом, якщо для будь-якого об'єкта Z і будь-яких g, h ∈ MorC(Y, Z), gf = hf.
Нульовий морфізм — морфізм, що є одночасно постійним і копостійним.
Категорія з нульовими морфізмами — категорія, в якій для будь-яких двох об'єктів A і B зафіксований морфізм 0AB : A → B, такий що для будь-яких об'єктів X, Y, Z в C і будь-яких морфізмів f : Y → Z, g : X → Y діаграма нижче є комутативною:
Тоді морфізм 0XY обов'язково є нульовими. Якщо C — категорія з нульовими морфізмами, то 0XY визначені однозначно.
Приклади У категорії груп (або модулів) нульовий морфізм — це гомоморфізм f : G → H, що відображає всі елементи G в нейтральний елемент H. Нульовим об'єктом в категорії груп є тривіальна група 1 = {1}. Кожен нульовий морфізм розкладається через 1, тобто f : G → 1 → H.
Більш загально, нехай C — категорія з нульовим об'єктом 0. Тоді для будь-яких двох об'єктів X і Y існує єдина послідовність морфізмів 0XY : X → 0 → Y сім'я таких морфізмів задає на C структуру категорії з нульовими морфізмами.
Якщо C — передадитивна категорія, то кожна множина морфізмів Mor ( X, Y) є абелевою групою і має нульовий елемент. Ці нульові елементи утворюють сім'ю нульових морфізмів, і C є категорією з нульовими морфізмами.
Категорія множин не має нульового об'єкта, але має початковий об'єкт, порожня множина ∅. Єдиними копостійними функціями у Set є функції виду ∅ → X.
Література