局所的に小さい圏の圏