Zero morphism

In , a branch of mathematics, a zero morphism is a special kind of morphism exhibiting properties like the morphisms to and from a zero object. Suppose C is a , and f : X → Y is a morphism in C. The morphism f is called a constant morphism (or sometimes left zero morphism) if for any W in C and any g, h : W → X, fg = fh. Dually, f is called a coconstant morphism (or sometimes right zero morphism) if for any object Z in C and any g, h : Y → Z, gf = hf. A zero morphism is one that is both a constant morphism and a coconstant morphism. A category with zero morphisms is one where, for every two objects A and B in C, there is a fixed morphism 0AB : A → B, and this collection of morphisms is such that for all objects X, Y, Z in C and all morphisms f : Y → Z, g : X → Y, the following diagram commutes: The morphisms 0XY necessarily are zero morphisms and form a compatible system of zero morphisms. If C is a category with zero morphisms, then the collection of 0XY is unique. This way of defining a "zero morphism" and the phrase "a category with zero morphisms" separately is unfortunate, but if each hom-set has a ′′zero morphism", then the category "has zero morphisms". If C has a zero object 0, given two objects X and Y in C, there are canonical morphisms f : X → 0 and g : 0 → Y. Then, gf is a zero morphism in MorC(X, Y). Thus, every category with a zero object is a category with zero morphisms given by the composition 0XY : X → 0 → Y. If a category has zero morphisms, then one can define the notions of and cokernel for any morphism in that category.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts (19)

Related courses (3)

Related lectures (69)

MATH-211: Group Theory

Après une introduction à la théorie des catégories, nous appliquerons la théorie générale au cas particulier des groupes, ce qui nous permettra de bien mettre en perspective des notions telles que quo

MATH-436: Homotopical algebra

This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous

MATH-110(a): Advanced linear algebra I

L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et de démontrer rigoureusement les résultats principaux de ce sujet.

Zero morphism

Category of topological spaces

In mathematics, the category of topological spaces, often denoted Top, is the whose s are topological spaces and whose morphisms are continuous maps. This is a category because the composition of two continuous maps is again continuous, and the identity function is continuous. The study of Top and of properties of topological spaces using the techniques of is known as categorical topology. N.B. Some authors use the name Top for the categories with topological manifolds, with compactly generated spaces as objects and continuous maps as morphisms or with the .

Category of groups

In mathematics, the Grp (or Gp) has the class of all groups for objects and group homomorphisms for morphisms. As such, it is a . The study of this category is known as group theory. There are two forgetful functors from Grp, M: Grp → Mon from groups to monoids and U: Grp → Set from groups to . M has two adjoints: one right, I: Mon→Grp, and one left, K: Mon→Grp. I: Mon→Grp is the functor sending every monoid to the submonoid of invertible elements and K: Mon→Grp the functor sending every monoid to the Grothendieck group of that monoid.

Groups & Subgroups: Definitions, Theorems, and Morphisms MATH-110(a): Advanced linear algebra I

Covers the fundamental concepts of groups and subgroups, including definitions, theorems, and morphisms.

Isomorphism Criterion of Coverings MATH-225: Topology

Covers the isomorphism of coverings and the lifting theory.

Limits and colimits: Two examples MATH-436: Homotopical algebra

Focuses on the pushout and pullback constructions in sets, illustrating colimits and limits with explicit examples.