동역학적 시스템을 통한 동차형 이론에서의 일관성 성장

우리는 Lurie의 의미에서 (∞,1)-topos로 해석된 동역학적 이론에서 반복된 동일성 구조를 연구합니다. 우리는 일관성 정제 및 반복된 동일성 형성을 모델링하는 배경 ∞-topos에서 모나딕 엔도펑터를 도입합니다. 동역학적 의미론 내부의 시스템으로써 동역학적 시스템을 정의하고, 동역학적 성장은 반복 하에서 비대칭적 일관성 성장의 개념을 정의합니다. 우리는 ∞-topos의 내부 언어 내에서 발생하는 성장 행동을 추측적 동역학 현상으로 분석합니다. 모든 구성은 비가역성을 갖춘 표준 동역학적 이론과 호환됩니다. 새로운 논리 공리는 도입되지 않습니다.