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