Wiki. “同伦 (余) 极限” [同伦(余)极限]

定义

单纯集

单纯集映射 $f\colon A\to B$, $g\colon A\to C$ 的同伦推出是单纯集 $$ B\sqcup_{\{0\}\times A} (\Delta^1\times A) \sqcup_{\{1\}\times A} C. $$

单纯模型范畴

在单纯模型范畴中, 一个图是同伦极限图当且仅当在相应的拟范畴中它构成极限图.