이 논문의 주요 목표는 모델 범주론(model category theory) 하에서 대수적 스택(algebraic stacks)의 호모토피 이론(homotopy theory)을 위한 기초를 정립하고, 그것이 다양한 맥락에서 어떻게 적용될 수 있는지를 보이는 데 있다. 본 연구는 대수적 스택에 대해 étale 호모토피 이론을 일반화할 뿐 아니라, 보다 넓은 맥락에서 호모토피 이론을 위한 보다 적합한 틀을 제공한다. 또한 pro-simplicial sets의 profinite completion이 우측 수반자(right adjoint)를 허용함을 보이는 새로운 결과를 제시하고, 이를 기초 연구와 통합하여 Artin–Mazur의 비교 정리(comparison theorem)를 스킴(schemes)에서 대수적 스택으로 형식적으로 일반화한다.

*본 초록은 AI를 통해 원문을 번역한 내용입니다. 정확한 내용은 하기 원문에서 확인해주세요.