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