morfizmem
Morfizm (w formie morfizmem używanej w gramatyce przypadków) to pojęcie szeroko stosowane w matematyce i informatyce, oznaczające odwzorowanie zachowujące określoną strukturę między obiektami. W zależności od kontekstu morfizm zapewnia, że istotne cechy źródłowej struktury są odwzorowywane na cechy odpowiadające w obrazie.
W kategorii morfizm jest strzałką między obiektami: f: X -> Y. Składanie morfizmów (g ∘ f) daje nowy
Przykłady morfizmów: w algebrze grupa G i H pojęcie homomorfizmu f: G -> H oznacza, że f(ab) =
Izomorfizm to morfizm odwracalny, czyli istnieje odwrotny morfizm. Obiekty, które są ze sobą izomorficzne, spełniają pewną
W teorii kombinatoryki na słowach morfizmy (homomorfizmy wolnego monoidu) mapują litery na wyrazy i przedłużają się
Historia: pojęcie morfizmu w teorii kategorii wprowadzili i spopularyzowali S. Mac Lane i S. Eilenberg. Obecnie