A “co-fully faithful” functor is a functor $F$ with the property that each pre-composition $_\circ F$ is fully faithful. (Thanks to Nathanael Arkor for the suggestion!)
A “co-fully faithful” functor is a functor $F$ with the property that each pre-composition $_\circ F$ is fully faithful. (Thanks to Nathanael Arkor for the suggestion!)