Definition 0.1
Let

and

be two
categories
and
let

be a
functor.

is said to be a
fully faithful functor if it is an isomorphism on
every set

of
morphisms, and that it is
essentially surjective if for every
object

, there is some

such that

and

are isomorphic.