Kompozitum

Iz MaFiRaWiki

(Preusmerjeno iz Komponiranje)
Ta članek ali del članka je v delu. Veseli bomo, če ga boste dopolnili in popravili.

Kaj pomeni to opozorilo?

Kompozitum je asociativna operacija v kategoriji. Kompozitum morfizmov f : A \to B in g : B \to C označimo z g \circ f ali f;g. Druga oznaka je običajna predvsem v računalništvu in pri desnih delovanjih.

Kompozitum je tudi asociativna operacija, definirana pri preslikavah (funkcijah), relacijah, delnih funkcijah.

Zgledi

  1. Osnovni primer je kompozitum funkcij f : A \to B in g : B \to C, ki je definiran s predpisom g \circ f (x) = g(f(x)).
  2. V kategoriji kategorij je kompozitum funktorjev F = (F0,F1) in G = (G0,G1) definiran kot kompozitum preslikav G \circ F = (G_0 \circ F_0, G_1 \circ F_1).
  3. Kompozitum relacij.
Osebna orodja