有限完備な圏とは任意の有限極限が存在する圏