Dear Categories, Is it established terminology to call *injective* a faithful functor which is injective (in the usual sense) on objects ? Cheers, Krzysztof