What's the difference between
and
Enter two words to compare and contrast their definitions, origins, and synonyms to better understand how those words are related.

Functor vs Subnector - What's the difference?

functor | subnector |

As nouns the difference between functor and subnector

is that functor is (grammar) a function word while subnector is (logic) a functor which takes as input one or more sentences and outputs a term.

functor

Noun

(en noun)
  • (grammar) a function word
  • (computing) a function object
  • (category theory) a structure-preserving mapping between categories: if F'' is a functor from category ''C'' to category ''D'', then ''F'' maps objects of ''C'' to objects of ''D'' and morphisms of ''C'' to morphisms of ''D'' such that any morphism ''f'':''X''→''Y'' of ''C'' is mapped to a morphism ''F''(''f''): ''F''(''X'') → ''F''(''Y'') of ''D , such that if h = g \circ f then F(h) = F(g) \circ F(f), and such that identity morphisms (and only identity morphisms) are mapped to identity morphisms. Note: the functor just described is covariant.
  • Hyponyms

    * (in category theory) endofunctor

    Derived terms

    * contravariant functor * representable functor ----

    subnector

    English

    Noun

    (en noun)
  • (logic) a functor which takes as input one or more sentences and outputs a term.
  • References

    * The Art of Logic, Nuel Belnap, http://www.pitt.edu/~belnap/nal2007.pdf * http://projecteuclid.org/DPubS?verb=Display&version=1.0&service=UI&handle=euclid.ndml/1175197299&page=record * http://www.amazon.com/review/product/0674576101?showViewpoints=1

    Anagrams

    * ----