full functor

Noun

  • A functor which maps morphisms from its source to its target category in such a way that the restriction of that mapping to any source hom-set is surjective into the corresponding target hom-set.

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.