定義 ローカルに小さい圏 対象間の射の集合が小さいとき、その圏はローカルに小さいという。 （あるいは、「局所的に小さい」とか「局所小」とか？ マックレーン（日本語版）には「小さいhom集合を持つ圏」とある。まんまである。） 定義 表現 ローカルに小…