擬圏
モデル圏
安定した無限圏
∞-亜群
高次圏論
球形集合