fully faithful
English
Adjective
fully
faithful
(
not comparable
)
(
category theory
)
Of a functor,
injective
and
surjective
on
hom-sets
.