Kategorie/Isomorphismus/Definition

Isomorphismus

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