同調関数:定義、反変性、および構成