generated at
小直積とイコライザーを持つ圏は完備
小直積とイコライザーを持つ圏は完備