ホモトピー型理論
[005W] 注意

[005V]の意味での\(n\)連結関数は古典的なホモトピー論における\(n+1\)連結写像に対応するものである。