函子とその構成の考え