1 -> Sets っていう functor の例を知った事で色々理解の糸口が掴めた気がする