generated at
小さな圏を対象とする圏Catのイメージ