Co to znamená být funktorální?

Obsah:

Co to znamená být funktorální?
Co to znamená být funktorální?
Anonim

V matematice, konkrétně v teorii kategorií, je funktor mapováním mezi kategoriemi. Funktory byly poprvé zvažovány v algebraické topologii, kde jsou algebraické objekty spojeny s topologickými prostory a mapy mezi těmito algebraickými objekty jsou spojeny se spojitými mapami mezi prostory.

Jak definujete funktor?

Ve funkcionálním programování je funktor návrhový vzor inspirovaný definicí z teorie kategorií, která umožňuje generickému typu použít funkci uvnitř, aniž by se změnila struktura generického typu. Tato myšlenka je zakódována v Haskell pomocí třídy typu. třída Funktor f kde fmap:: (a -> b) -> f a -> f b.

Je funktor morfismus?

Funktor identity: v kategorii C zapsaný 1C nebo idC mapuje objekt na sebe a morfismus na sebe. Funktor identity je endofunctor.

Co je funktor v lingvistice?

Funkční slovo v lingvistice. V počítačovém programování: Funktor (funkční programování) Funkční objekt používaný k předávání ukazatelů funkcí spolu se stavovými informacemi. pro použití termínu v jazyce Prolog viz syntaxe a sémantika Prologu.

Je seznam funktor?

Podle vývojářů Haskell jsou všechny typy jako Seznam, Mapa, Strom atd. instancí Haskell Functor.

Doporučuje: