Katika hisabati, hasa nadharia ya kategoria, kifanisi ni uchoraji wa ramani kati ya kategoria. Vitendaji vilizingatiwa kwa mara ya kwanza katika topolojia ya aljebra, ambapo vitu vya aljebra huhusishwa na nafasi za kitopolojia, na ramani kati ya vitu hivi vya aljebra huhusishwa na ramani zinazoendelea kati ya nafasi.
Unafafanuaje kifusi?
Katika upangaji utendakazi, kitendaji ni muundo wa muundo uliochochewa na ufafanuzi kutoka kwa nadharia ya kategoria, ambayo huruhusu aina ya jumla kutumia fomula ndani bila kubadilisha muundo wa aina ya jumla. Wazo hili limesimbwa katika Haskell kwa kutumia aina ya darasa. darasa Kitendaji f ambapo fmap:: (a -> b) -> f a -> f b.
Je, chembechembe ni mofimu?
Kitendaji cha utambulisho: katika kategoria C, imeandikwa 1C au kitambulishoC, hutengeneza kitu chenyewe na mofimu yenyewe. Kitendaji cha utambulisho ni endofunctor.
Kifanisi katika isimu ni nini?
Tekeleza neno katika isimu. Katika upangaji wa kompyuta: Kitendaji (programu inayofanya kazi) Kipengele cha kazi kinachotumiwa kupitisha viashiria vya utendakazi pamoja na taarifa ya hali. kwa matumizi ya neno katika lugha ya Prolog, angalia syntax ya Prolog na semantiki.
Je, orodha ni kitendaji?
Kulingana na wasanidi wa Haskell, Aina zote kama vile List, Ramani, Tree, n.k. ni mfano wa Kitendaji cha Haskell.
