As you may have noticed, above you will find words for "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 injective into the corresponding target hom-set.". Hover the mouse over the word you'd like to know more about to view its definition. Click to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.