contravariant functor

Noun

  • A functor which maps a morphism f:X → Y to a morphism F(f):F(Y) → F(X), such that if h = g \circ f, then F(h) = F(f) \circ F(g).

Modern English dictionary

Explore and search massive catalog of over 900,000 word meanings.

Word of the Day

Get a curated memorable word every day.

Challenge yourself

Level up your vocabulary by setting personal goals.

And much more

Try out Vedaist now.