호모토피 이론을 전개할 수 있기에 충분한 구조가 갖추어져 있는 추상적인 범주
호모토피 이론에서, 모형 범주(模型範疇, )는 호모토피 이론을 전개할 수 있기에 충분한 구조가 갖추어져 있는 추상적인 범주(범주 (수학))이다. 위상 공간(위상 공간 (수학))의 범주와 단체 집합의 범주, 아벨 군의 사슬 복합체의 범주 따위의 일반화이다. 모형 범주 는 다음과 같은 데이터로 구성된다. 이들은 다음 두 공리들을 만족시켜야 한다. 모형 범주 에서, 모형 범주 구조를 사용하여 두 사상 사이의 왼쪽 호모토피 및 오른쪽 호모토피를 정의할 수 있다.
모형 범주에 대해서 알려줘
모형 범주