Hierarchy:
Description:
{{category theory}} A functor which maps a function ''f'':''X'' → ''Y'' to a function ''F''(''f''):''F''(''Y'') → ''F''(''X''), such that if <math> h = g \circ f</math>, then <math> F(h) = F(f) \circ F(g)</math>.
Ngram:
Ngram Text:
contravariant functor
Source:
Wiktionary
Issue:
0
Wiktionary tag:
Ngram Count:
2