?? functor from _graph_ to _N-set_ given by "forcing each vertex to have precisely one arrow emanating from it" .... ????how close this comes to giving lex left adjoint ??? ... ??? whether it corresponds to some sort of "subregion" (???? ....) of subobject classifier, in way generalizing grothendieck topology ... ??? .... ??? ....