INFOSEKOLAH.NET

Anfangsobjekt, Endobjekt und Nullobjekt sind Begriffe aus dem mathematischen Teilgebiet der Kategorientheorie. Die folgenden Bezeichnungen sind ebenfalls...

ein Objekteigenschaft in der Kategorientheorie, siehe Anfangsobjekt, Endobjekt und Nullobjekt Siehe auch: Terminal Island (Begriffsklärung) Terminal...

Monoids verallgemeinert. Jede Kategorie, die endliche Produkte und ein Endobjekt enthält, kann als symmetrisch monoidale Kategorie betrachtet werden: Der...

h(Y)} objektweise injektiv ist. Produkt und Koprodukt Anfangsobjekte und Endobjekte Differenzkern und Differenzkokern Faserprodukt und Pushout allgemein Limites...

Begriff aus der mathematischen Kategorientheorie; siehe Anfangsobjekt, Endobjekt und Nullobjekt Nullobjekt (Entwurfsmuster), Entwurfsmuster der Softwareentwicklung...

entsprechende kommutative Diagramme definiert. Das Faserprodukt ist dann ein Endobjekt der Kategorie der möglichen Pullback-Kegel über dem Diagramm X → ξ S ←...

nach X {\displaystyle X} . ( A , ϕ ) {\displaystyle (A,\phi )} ist ein Endobjekt der Kommakategorie ( U ↓ X ) {\displaystyle (U\downarrow X)} . ( A , ϕ...

bei den jeweiligen Prozessen zwangsläufig anfallen, aber nicht in das Endobjekt einfließen. Beispiele dafür wären nicht mehr verwendete Rohstoffe, Hilfsstoffe...

( f ) := μ Y ∘ T ( f ) {\displaystyle G_{T}(f):=\mu _{Y}\circ T(f)} . Endobjekt in A {\displaystyle {\mathfrak {A}}} ist ( C T , F T , G T ) {\displaystyle...

beliebige algebraische Strukturen, die mithilfe von Limites (Produkten, Endobjekten, Differenzkernen) definiert sind. Als Beispiel werden Gruppen behandelt...

oder allgemeiner für D {\displaystyle {\mathcal {D}}} mit Anfangs- oder Endobjekt erfüllt, nicht dagegen für ein Produkt C D {\displaystyle {\mathcal {C}}^{\mathcal...

{\displaystyle F} bildet mit den so definierten Morphismen eine Kategorie. Ein Endobjekt dieser Kategorie nennt man einen Limes von F {\displaystyle F} oder auch...

{\displaystyle A} ist ein Endobjekt von ( C ↓ A ) {\displaystyle ({\mathcal {C}}\downarrow A)} . Ist A {\displaystyle A} bereits ein Endobjekt von C {\displaystyle...

{\displaystyle m\in M} ). Es ist auch { 0 } {\displaystyle \{0\}} ein Endobjekt. Man fasst zusammen, wenn man sagt, { 0 } {\displaystyle \{0\}} ist ein...

{C}}} insbesondere ein Anfangsobjekt ∅ {\displaystyle \emptyset } und ein Endobjekt ∗ {\displaystyle *} . Ein Objekt X {\displaystyle X} heißt fasernd, wenn...

Monomorphismus oder Epimorphismus bleiben erhalten, ebenso Anfangs- oder Endobjekte. Isomorphe Kategorien sind äquivalent, denn offenbar sind Isomorphismen...

darstellbar, wenn ∫ C F {\displaystyle \textstyle \int _{\mathcal {C}}F} ein Endobjekt hat. Sei C {\displaystyle {\mathcal {C}}} eine Kategorie und F : C → S...