Cat、あるいはCATにおける

1つの圏を0-要素として持つ指標