Concept

Image (category theory)

In , a branch of mathematics, the image of a morphism is a generalization of the of a function. Given a and a morphism in , the image of is a monomorphism satisfying the following universal property: There exists a morphism such that . For any object with a morphism and a monomorphism such that , there exists a unique morphism such that . Remarks: such a factorization does not necessarily exist. is unique by definition of monic. therefore by monic. is monic. already implies that is unique. The image of is often denoted by or . Proposition: If has all equalizers then the in the factorization of (1) is an epimorphism. Let be such that , one needs to show that . Since the equalizer of exists, factorizes as with monic. But then is a factorization of with monomorphism. Hence by the universal property of the image there exists a unique arrow such that and since is monic . Furthermore, one has and by the monomorphism property of one obtains . This means that and thus that equalizes , whence . In a category with all finite and colimits, the image is defined as the of the so-called cokernel pair , which is the of a morphism with itself over its domain, which will result in a pair of morphisms , on which the is taken, i.e. the first of the following diagrams is , and the second . Remarks: Finite bicompleteness of the category ensures that pushouts and equalizers exist. can be called regular image as is a regular monomorphism, i.e. the equalizer of a pair of morphisms. (Recall also that an equalizer is automatically a monomorphism). In an abelian category, the cokernel pair property can be written and the equalizer condition . Moreover, all monomorphisms are regular. If always factorizes through regular monomorphisms, then the two definitions coincide. First definition implies the second: Assume that (1) holds with regular monomorphism. Equalization: one needs to show that . As the cokernel pair of and by previous proposition, since has all equalizers, the arrow in the factorization is an epimorphism, hence .

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.