ホモトピー群
ホモトピー群はホモトピー論において基本的であり、ホモトピー論はモデル圏の発展を刺激した。単体的集合(英語版)に対して抽象ホモトピー群を定義することが可能である。