범주(범주 (수학))의 일부 사상(사상 (수학))들을 동형 사상으로 만드는 과정
범주론에서, 국소화(局所化, )는 범주(범주 (수학))의 일부 사상(사상 (수학))들을 동형 사상으로 만드는 과정이다. 작은 범주 및 그 속의 사상들의 집합 가 주어졌다고 하자. 또한, 가 모든 동형 사상을 포함하며, 또한 사상의 합성에 대하여 닫혀 있다고 하자. 그렇다면, 의 에서의 국소화 는 다음과 같은 보편 성질을 만족시키는 범주이다. 작은 범주의 국소화는 항상 존재하며, 보편 성질의 성질에 따라서 범주의 동치 아래 유일하다.
범주론에서 국소화가 뭐야
국소화 (범주론)