Začetni objekt

Iz MaFiRaWiki

Začetni objekt v kategoriji je tak objekt O, da za vsak objekt X obstaja natanko en morfizem O \to X.

Zgledi

Glej tudi

Osebna orodja