Apomorfismus - Apomorphism - Wikipedia

v formální metody z počítačová věda, an apomorfismus (z .πό — řecký pro "oddělený") je kategorický duální a paramorfismus a rozšíření koncepce anamorfismus (koindukce ). Zatímco paramorfismus modeluje primitivní rekurze přes induktivní datový typ, apomorfismus modeluje primitivně korekční přes koinduktivní datový typ.

Počátky

Termín „apomorfismus“ byl zaveden v roce Funkční programování s apomorfismy (Corecursion).^[1]

Viz také

• Morfismus
• Morfismy z F-algebry
  • Od počáteční algebry k algebře: Katamorfismus
  • Od uhlíkory po konečnou uhlíhru: Anamorfismus
  • Anamorfismus následovaný katamorfismem: Hylomorfismus
  • Rozšíření myšlenky katamorfismů: Paramorfismus

Reference

Tento formální metody související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.