局所的に小さい圏

転送先:

  • 圏 (数学)#局所的に小さい圏