圏論と機械学習