functoriality とはどのような性質のことでしょうか?