Objet injectif

Dans la théorie de catégorie de , un Q d'objet serait le injectif si chaque flèche au Q peut être poussée en avant à travers des monomorphismes. C'est-à-dire, le Q est injectif si pour tout f du monomorphisme : &rarr du X ; Y et tout g de morphism : &rarr du X ; Le Q là existe un h de morphism : &rarr du Y ; Q avec l'à haute fréquence de = g .

Dans la catégorie des modules et des homomorphisms de module de un objet injectif est un module injectif . Dans la catégorie des espaces métriques et des tracés de Nonexpansive de un objet injectif est un espace métrique injectif . On parle également des objets injectifs dans des catégories plus générales, par exemple dans les catégories de functor de ou dans les catégories des gerbes de modules du X d'O_{au-dessus d'un certain espace bagué ( X de , X} d'O_).

La notion duelle est celle d'un objet projectif .

attheory-moignon

Random links: