For our question #5, this can be generalized to: given two categories $A$ and $B$, describe the functors $A\to B$.

You example corresponds to letting $A$ be the poset you drew considered as a category, and $B$ the category of graphs and embeddings.