Kategorie/Isomorphismus/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Isomorphismus

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