Apomorfism

I formella metoder för datavetenskap är en apomorfism (från ἀπό — grekiska för "särskild") den kategoriska dualen av en paramorfism och en förlängning av begreppet anamorfism ( koinduktion ). Medan en paramorfism modellerar primitiv rekursion över en induktiv datatyp , modellerar en apomorfism primitiv korkursion över en koduktiv datatyp.

Ursprung

Termen "apomorphism" introducerades i funktionell programmering med apomorfismer (Corecursion) .

Se även

• Morfism
• Morfismer av F-algebras
  • Från en initial algebra till en algebra: Katamorfism
  • Från en koalgebra till en slutlig koalgebra: Anamorfism
  • En anamorfism följt av en katamorfism: Hylomorfism
  • Utvidgning av idén om katamorfismer: Paramorfism