指標を圏の要素に割り当てを行なったもの

指標実例の圏の対象