Zum Inhalt springen

Kategorie/Isomorphismus/Definition

Aus Wikiversity
Isomorphismus

Ein Morphismus in einer Kategorie heißt Isomorphismus, wenn es einen Morphismus derart gibt, dass und gilt.