∞-groupoid は空間である ～Joyal の拡張定理の応用とその証明～

　こんにちは、 るめなる です。今回は無限圏論の話を扱います。これは 圏論 Advent Calendar 2022 の 13 日目の記事です。

　Grothendieck は Pursuing Stacks という文書において、 "$\mathrm{\infty }$-groupoid" と "空間" は同じものであるという ホモトピー仮説（homotopy hypothesis）を提唱しました。この仮説は、 "$\mathrm{\infty }$-groupoid" や "空間" という言葉が具体的にどのような対象を指しているのかによって、その意味する内容は変わってきます。
　この記事では、 "$\mathrm{\infty }$-groupoid" として「すべての射が同型である quasi-category」を、"空間" として「Kan 複体」を選び、ホモトピー仮説を証明します。 quasi-category は $(\mathrm{\infty },1)$-category のモデルの 1 つであり、 $(\mathrm{\infty },1)$-category は（かなり曖昧な表現ですが）通常の圏の "（高次）ホモトピー版" のようなものです。射がすべて同型な圏を groupoid と呼ぶことから、このように "$\mathrm{\infty }$-groupoid" を定義するのは妥当性があるでしょう。また、 Kan 複体 はホモトピー論において基本的な空間である CW 複体と（それらのなすモデル圏が幾何学的実現関手と特異複体関手によって互いに Quillen 同値となるという意味で）等価であることが知られています。quasi-category と Kan 複体はそれぞれ 1 章で定義します。以降、ホモトピー仮説というときには先程に述べた意味での $\mathrm{\infty }$-groupoid と Kan 複体が等価であるということを指すことにします。
　さて、ホモトピー仮説を示す際、本質的な役割を果たすのは Joyal の拡張定理（Joyal extension theorem）と呼ばれる定理です。簡単な議論によって、この定理からホモトピー仮説が導かれることがわかります（2 章）。本記事の主な目的は Joyal の拡張定理の証明を アイデア重視で 解説することです。

1 章　記法、用語

　基本的な用語の定義をします。単体圏 $\mathrm{\Delta }$、単体的集合とそれらのなす圏 $\mathrm{sSet}$、標準 $n$-単体 ${\mathrm{\Delta }}^n$、boundary $\partial {\mathrm{\Delta }}^n$、horn ${\mathrm{\Lambda }}_i^n$ の定義はここでは与えません。 Kerodon（ 1.1.1 と 1.1.2 ）や壱大整域（[3], pdf のリンク ）を参照してください。
　最初に記事を通して用いる技術的な用語を定義します。

　$\mathrm{\infty }$-category（quasi-category）とそれに関わる概念の定義を与えます。この記事では、便宜上、$\mathrm{\infty }$-category に制限せず一般の単体的集合に対して対象や射を定義します。

　ホモトピー仮説の主役である $\mathrm{\infty }$-groupoid と Kan 複体を定義しましょう。

　$\mathrm{\infty }$-category と Kan 複体の違いは、前者は $0<i<n$ のみに対する horn $f:{\mathrm{\Lambda }}_i^n\to X$（ inner horn ）が拡張を持つのに対し、後者は $i=0,n$ に対する horn（ outer horn ）も拡張を持つという点です。特に、このことから Kan 複体は $\mathrm{\infty }$-category であることがわかります。

2 章　$\mathrm{\infty }$-groupoid と Kan 複体の等価性

示すべきこと

　目標はホモトピー仮説、つまり $\mathrm{\infty }$-groupoid と Kan 複体が同一のものであると示すことでした。正確にかくと次のようになります：

　(2)⇒(1) の方向は、Kan 複体の拡張の条件を駆使することで比較的かんたんにわかります。

　したがって問題は (1)⇒(2) の方向を示すことです。$X$ を $\mathrm{\infty }$-groupoid とし、少し議論してみます：

1. 任意の $0\le i\le n$ と $\mathrm{sSet}$ の射 $f:{\mathrm{\Lambda }}_i^n\to X$ に対し $f$ が拡張をもつことをいえばよいです。
2. $X$ は $\mathrm{\infty }$-category なので $0<i<n$ に対しては成り立ちます。
3. よって、任意の $n>0$ に対し、任意の $\mathrm{sSet}$ の射 $f:{\mathrm{\Lambda }}_0^n\to X$ と射 $g:{\mathrm{\Lambda }}_n^n\to X$ が拡張をもてばよいです。
4. ここで、単体的集合の双対（ Kerodon, 1.3.2 ）を考えると、 ${\mathrm{\Lambda }}_0^n$ と ${\mathrm{\Lambda }}_n^n$ は互いに双対なので、 $f$ の形の射が拡張を持つことがいえれば $g$ についてもいえます。
5. ゆえに、示すべきことは次のようにまとめられます：

Joyal の拡張定理

　さて、以上で主定理を証明するには命題 2 がいえればよいことがわかりました。実は、この命題 2 より強い結果が成り立ち、それを Joyal の拡張定理（Joyal extension theorem） といいます。

　この定理は、quasi-category の理論を大きく発展させた Joyal の 2002 年の論文 ``Quasi-categories and Kan complexes"（[5]）において、ホモトピー仮説とともに最初に示されました。

証明のイメージ

　Joyal の拡張定理の証明のアイデアのイメージを説明します。簡単のために $n=3$ とします。つまり、 $\mathrm{sSet}$ の射 $f:{\mathrm{\Lambda }}_0^3\to X$ で $\varphi :=f{|}_{{\mathrm{\Delta }}^{\{0,1\}}}$ が同型射であるものを ${\mathrm{\Delta }}^3\to X$ に拡張することを考えます。
　射 $f$ を絵に描くと次のようになります：
射 f : Λ³₀ → X
$1$-単体 $\varphi$ は頂点（$0$-単体）$⟨0⟩$ から頂点 $⟨1⟩$ への射 $\varphi :⟨0⟩\to ⟨1⟩$ です。 証明の（恐らく一番の）キーポイントは、この $\varphi$ を $2$-単体 $⟨023⟩$ から $2$-単体 $⟨123⟩$ への射のようなものとみなすということです。
　もう少し正確に述べます（3 章で注意するように完全に正確ではありません）： $\varphi$ とそれを $1$-単体にもつ 2 つの $2$-単体 $⟨012⟩,⟨013⟩$ の "組" $(\varphi ,⟨012⟩,⟨013⟩)$ を、 $2$-単体 $\gamma :=⟨023⟩$ の境界 $\partial \gamma :\partial {\mathrm{\Delta }}^2\stackrel{(⟨23⟩,⟨03⟩,⟨02⟩)}{\to }X$ から $2$-単体 $\delta :=⟨123⟩$ の境界 $\partial \delta :\partial {\mathrm{\Delta }}^2\stackrel{(⟨23⟩,⟨13⟩,⟨12⟩)}{\to }X$ への "射" とみなす、ということが重要なアイデアです（注意： $f$ は horn ${\mathrm{\Lambda }}_0^3$ なので $2$-単体 $\delta$ は含まれません。説明のためにこのような書き方をしました）。
(φ, <012>, <013>) : ∂γ → ∂δ
　さて、$\varphi :⟨0⟩\to ⟨1⟩$ は同型射なのでした。つまり $\varphi$ の逆射 $\psi :⟨1⟩\to ⟨0⟩$ が存在します。ここで、もし、 $\varphi$ が "射" $(\varphi ,⟨021⟩,⟨013⟩):\partial \gamma \to \partial \delta$ として "同型射" であったらどうでしょうか？そのとき、"逆射 $(\psi ,{\rho }_0,{\rho }_1):\partial \delta \to \partial \gamma$" が存在するはずです。図にすると次のようになります：
(ψ, ρ₀, ρ₁) : ∂δ → ∂γ
　考えていた horn は ${\mathrm{\Lambda }}_0^3\to X$ という形なので $2$-単体 $\gamma$ はもとの $f$ に備わっています。よって、上に描いた $(\psi ,{\rho }_0,{\rho }_1)$ の $\partial \gamma$ の部分を "埋める" ことができそうです。すると、horn ${\mathrm{\Lambda }}_1^3\to X$ で $\delta$ の部分が空いたものができます。
　これは inner horn です！$X$ は $\mathrm{\infty }$-category なので、これの拡張 $k:{\mathrm{\Delta }}^3\to X$ は存在します。こうして $\partial \delta$ の中身を埋めることができました。ただ、$3$-単体 $k$ はもともとの $f$ を拡張した形にはなっていません。
　そこでまたあのアイデアを使います。 $\partial \delta$ の中身を埋めている $2$-単体を ${\delta }^{\prime }$ とかき、$3$-単体 $k$ を $2$-単体 ${\delta }^{\prime }$ から $2$-単体 $\gamma$ への "射" $k:{\delta }^{\prime }\to \gamma$ とみなします。
k : δ' → γ
　この "射" $k:{\delta }^{\prime }\to \gamma$ は上に述べた射 $(\psi ,{\rho }_0,{\rho }_1):\partial \delta \to \partial \gamma$ をある意味で "拡張" したようなものと思えそうです。すると、$(\psi ,{\rho }_0,{\rho }_1)$ が "同型射" だったので $k$ も "同型射" になりそうです。 実際にそうなることがわかり、このことから $k$ の "逆射" $h:\gamma \to {\delta }^{\prime }$ の存在がいえます。 $k$ がそうであるように、 $h$ は $3$-単体 $h:{\mathrm{\Delta }}^3\to X$ になります。
h : γ → δ'
　図から推測されるように、こうして得られた $3$-単体 $h:{\mathrm{\Delta }}^3\to X$ は求めていた $f$ の拡張になります！

　以上が Joyal の拡張定理のアイデアと証明の流れのイメージになります。以降、これらのアイデアを正当化していきます。

Step1：組 $(\varphi ,⟨012⟩,⟨013⟩)$ や $3$-単体 $k:{\mathrm{\Delta }}^3\to X$ を射 $(\varphi ,⟨021⟩,⟨013⟩):\partial \gamma \to \partial \delta$ や $k:{\delta }^{\prime }\to \gamma$ とみなすには 単体的集合のスライス という道具を使います。スライスの構成には 単体的集合の join という構成を用いるため、はじめにこれを説明します。

Step2： $\varphi$ が同型射であることから射 $(\varphi ,⟨021⟩,⟨013⟩)$ が同型射であること、そして射 $(\psi ,{\rho }_0,{\rho }_1)$ が同型射であることから射 $k$ が同型射であることを導く部分を正当化するためには right fibration という概念とその性質を利用します。ある 1 つの命題の証明は長くなってしまうため省略しています。

これらの準備のうえで、最後に上で述べた証明を厳密なものにしていきます。

3 章　アイデアの正当化

単体的集合の join

　単体的集合の join を定義するために、まず圏の join を定義します。

　単体圏 $\mathrm{\Delta }$ に対象 $[-1]:=\mathrm{\varnothing }$ を追加してできた圏を ${\mathrm{\Delta }}_{+}$ とかきます。このとき、対象 $[m],[n]\in {\mathrm{\Delta }}_{+}$ に対して、これらは順序集合なので、圏とみなせば $[m]\star [n]=[m+n+1]$ が成り立ちます。
　また、 ${\mathrm{\Delta }}_{+}$ の射 $\alpha :[m]\to [n_1]\star [n_2]$ に対し、2 つの射 ${\alpha }_1:[m_1]\to [n_1],{\alpha }_2:[m_2]\to [n_2]$ が一意に存在して、 $\alpha ={\alpha }_1\star {\alpha }_2$ が成り立ちます（もし $\alpha ([m])\subseteq [n_1]$ となるなら $m_2=-1$ です）。これは組合せ論的な考察で簡単に示すことができます（省略）。
　それでは、単体的集合の join を定義しましょう：

　標準 $n$-単体や horn、boundary など具体的な単体的集合同士の join を扱う際に便利なのが次の補題です。証明は join の定義から簡単にできます（[3], 命題 3 を利用します）。

　さて、Joyal の拡張定理の証明において重要になるのは次の同型です（ Kerodon, 補題4.3.6.14 ）。

　主張のイメージのために、この同型を $n=3$ の場合に絵に描くと次のようになります：
n = 3 の場合
Joyal の拡張定理の証明のイメージの節で述べた "射" $(\varphi ,⟨012⟩,⟨013⟩)$ が ${\mathrm{\Delta }}^1\star \partial {\mathrm{\Delta }}^1$ の部分に、2-単体 $\gamma =⟨023⟩$ が ${\mathrm{\Lambda }}_0^1\star {\mathrm{\Delta }}^1$ の部分に対応しています！

単体的集合のスライス

　目的の、単体的集合のスライスを定義します。

　スライス単体的集合について、次の重要な事実が成り立ちます（ Kerodon, 命題4.3.5.13. ）。

　後ほど使う概念をここで定義しておきます。

Step1 の正当化

　再び $n=3$ とし、horn $f:{\mathrm{\Lambda }}_0^3\to X$ を考えます。命題 5 の同型を用いてこれを射 $f:({\mathrm{\Lambda }}_0^1\star {\mathrm{\Delta }}^1)⨿({\mathrm{\Delta }}^1\star \partial {\mathrm{\Delta }}^1)\to X$ と同一視します。そして、この射の第 1 成分への制限を $f^1:{\mathrm{\Lambda }}_0^1\star {\mathrm{\Delta }}^1\to X$、第 2 成分への制限を $f^2:{\mathrm{\Delta }}^1\star \partial {\mathrm{\Delta }}^1\to X$ とおきます。すなわち、次の図式が可換です：
$$\begin{array}{r}{\mathrm{\Lambda }}_0^1\star \partial {\mathrm{\Delta }}^1{\mathrm{\Delta }}^1\star \partial {\mathrm{\Delta }}^1{f}^2{\mathrm{\Lambda }}_0^1\star {\mathrm{\Delta }}^1{f}^1{\mathrm{\Lambda }}_0^{3}fX\end{array}$$
また、 $\sigma :=f^1{|}_{{\mathrm{\Delta }}^1}:{\mathrm{\Delta }}^1\to X,{\sigma }_0:=f^2{|}_{\partial {\mathrm{\Delta }}^1}:\partial {\mathrm{\Delta }}^1\to X$ とおきます。
$${\mathrm{\Delta }}^1\sigma X\partial {\mathrm{\Delta }}^1{\sigma }_{0}X{\mathrm{\Lambda }}_0^1\star {\mathrm{\Delta }}^1{f}^1{\mathrm{\Delta }}^1\star \partial {\mathrm{\Delta }}^1{f}^2$$

ここで、命題 6 を用いると、

• 同型 ${\mathrm{Hom}}_{\sigma }({\mathrm{\Lambda }}_0^1\star {\mathrm{\Delta }}^1,X)\cong {\mathrm{Hom}}_{\mathrm{sSet}}({\mathrm{\Lambda }}_0^1,X_{/\sigma })$ により $f^1$ から $\mathrm{sSet}$ の射 $g^1:{\mathrm{\Lambda }}_0^1\to X_{/\sigma }$ が、
• 同型 ${\mathrm{Hom}}_{{\sigma }_0}({\mathrm{\Delta }}^1\star \partial {\mathrm{\Delta }}^1,X)\cong {\mathrm{Hom}}_{\mathrm{sSet}}({\mathrm{\Delta }}^1,X_{/{\sigma }_0})$ により $f^2$ から $\mathrm{sSet}$ の射 $g^2:{\mathrm{\Delta }}^1\to X_{/{\sigma }_0}$ が

一意に定まります。
　命題 5 の直後に述べたことを踏まえると、2 章の説明での "射" $(\varphi ,⟨012⟩,⟨013⟩)$ は、$X_{/{\sigma }_0}$ という単体的集合における、上のように定まる 本当の $1$-単体 $g^2:{\mathrm{\Delta }}^1\to X_{/{\sigma }_0}$ に対応しているとわかります！今回必要にならないので詳しくは説明しませんが、実は $X$ が $\mathrm{\infty }$-category のとき $X_{/{\sigma }_0}$ も $\mathrm{\infty }$-category になります。したがって、 $g^2$ は $X_{/{\sigma }_0}$ における射 $g^2:d_1(g^2)\to d_0(g^2)$ です。

right fibration

　以上で、単体的集合のスライスを用いることにより、$1$-単体とは限らない単体や horn、boundary などの間の "射" を定式化できることがわかりました。次に Step2 を定式化していきます。
　2 章の議論では $\varphi =f{|}_{{\mathrm{\Delta }}^{\{0,1\}}}:{\mathrm{\Delta }}^1\to X$ が同型射であることから $g^2:{\mathrm{\Delta }}^1\to X_{/{\sigma }_0}$ も同型射であるという予想を認めて議論を進めていました。

この予想は、2 セクション前で定義した忘却関手 $q:X_{/{\sigma }_0}\to X$ が right fibration になることと、その right fibration の性質を用いることで証明できます。まずは right fibration を定義します。

　そして、今回は証明しませんが、 $X$ が $\mathrm{\infty }$-category の場合、任意の忘却関手は right fibration になります！（ Kerodon, 命題4.3.6.1. ）

　予想（1）を証明するのに使う right fibration の性質は次の命題です（ Kerodon, 命題4.4.2.11. ）。忘却関手 $q:X_{/{\sigma }_0}\to X$ を思い浮かべながら証明を追ってみるといいかもしれません。

　ここまでくれば予想（１）は簡単に示せます。まず、図式
$${\mathrm{\Delta }}^1{g}^2\varphi X_{/{\sigma }_0}qX$$
は可換です。これは、この図式が、次の図式に対応し、それが可換であることからわかります。
$${\mathrm{\Delta }}^1\star \partial {\mathrm{\Delta }}^1{f}^{2}X{\mathrm{\Delta }}^1\varphi$$
すると、命題 8 より $g^2:{\mathrm{\Delta }}^1\to X_{/{\sigma }_0}$ が同型射であることがわかります！

　上で忘却関手が right fibration であることを述べましたが、制限関手も部分集合への制限の場合には right fibration になります（ Kerodon, 系4.3.6.11. ）。これもここでは証明しません。

4 章　Joyal の拡張定理の証明（$n=3$の場合）

　さて、この章では $n=3$ の場合に Joyal の拡張定理の証明の流れを追っていきます。2 章の議論と見比べてみてください。3 章「Step1 の正当化」の節の記号を使います。
　"射" $(\varphi ,⟨012⟩,⟨013⟩):\partial \gamma \to \partial \delta$ を厳密に定式化したものが $g^2:{\mathrm{\Delta }}^1\to X_{/{\sigma }_0}$ であること、 $\varphi$ が $X$ における同型射であることから $g^2$ が $X_{/{\sigma }_0}$ における同型射であると導かれることは 3 章において述べました。次に進みましょう。
　まず $g^2$ の逆射 $h^2:{\mathrm{\Delta }}^1\to X_{/{\sigma }_0}$ を考えます。これは 2 章の議論における "射" $(\psi ,{\rho }_0,{\rho }_1):\partial \delta \to \partial \gamma$ にあたります。2 章ではこの $(\psi ,{\rho }_0,{\rho }_1)$ の空き $\partial \gamma$ に $2$-単体 $\gamma$ を "埋める" ことで horn ${\mathrm{\Lambda }}_1^3\to X$ を構成したのでした。これを行います。次の図式 $(\mathrm{A})$ を考えましょう：
$${\mathrm{\Lambda }}_1^1\star \partial {\mathrm{\Delta }}^1{\mathrm{\Delta }}^1\star \partial {\mathrm{\Delta }}^1\widetilde{h^2}{\mathrm{\Lambda }}_1^1\star {\mathrm{\Delta }}^1{f}^{1}X$$
ここで、$\widetilde{h^2}:{\mathrm{\Delta }}^1\star \partial {\mathrm{\Delta }}^1\to X$ は命題 6 により射 $h^2$ から得られる射であり、また同型 ${\mathrm{\Lambda }}_1^1\cong {\mathrm{\Lambda }}_0^1$ を用いて射 $f_1:{\mathrm{\Lambda }}_0^1\star {\mathrm{\Delta }}^1\to X$ を $f_1:{\mathrm{\Lambda }}_1^1\star {\mathrm{\Delta }}^1\to X$ と同一視しています（以降もこのような同一視を行います）。もし図式 $(\mathrm{A})$ が可換なら、pushout（つまり "貼り合わせ"）を考えることにより、射
$$l:{\mathrm{\Lambda }}_1^3\cong ({\mathrm{\Lambda }}_1^1\star {\mathrm{\Delta }}^1)\coprod _{{\mathrm{\Lambda }}_1^1\star \partial {\mathrm{\Delta }}^1}({\mathrm{\Delta }}^1\star \partial {\mathrm{\Delta }}^1)\stackrel{(f^1,\widetilde{h^2})}{\to }X$$
が得られます！（最初の同型は命題 5 と同様にして得られます。）よって図式 $(\mathrm{A})$ が可換であることを示せばよいです。
　$h^2$ の定義より、 $({\mathrm{\Lambda }}_1^1\star \partial {\mathrm{\Delta }}^1\to {\mathrm{\Delta }}^1\star \partial {\mathrm{\Delta }}^1\stackrel{\widetilde{h^2}}{\to }X)$ は $({\mathrm{\Lambda }}_0^1\star \partial {\mathrm{\Delta }}^1\to {\mathrm{\Delta }}^1\star \partial {\mathrm{\Delta }}^1\stackrel{f^2}{\to }X)$ と同じです。よって、$f_1,f_2$ の定義、すなわち図式
$${\mathrm{\Lambda }}_0^1\star \partial {\mathrm{\Delta }}^1{\mathrm{\Delta }}^1\star \partial {\mathrm{\Delta }}^1{f}^2{\mathrm{\Lambda }}_0^1\star {\mathrm{\Delta }}^1{f}^{1}X$$
の可換性より、図式 $(\mathrm{A})$ の可換性がわかります。
　こうして horn $l:{\mathrm{\Lambda }}_1^3\to X$ が得られました。これは inner horn なので拡張 $k:{\mathrm{\Delta }}^3\to X$ が存在します。2 章の議論ではこの $k$ を "射" $k:{\delta }^{\prime }\to \gamma$ とみなしていました。これを正当化するために同型 ${\mathrm{\Delta }}^1\star {\mathrm{\Delta }}^1\cong {\mathrm{\Delta }}^3$ を使います。すると、例によって命題 6 より射 $\tilde{k}:{\mathrm{\Delta }}^1\to X_{/\sigma }$ が得られます。
　この $X_{/\sigma }$ における射 $\tilde{k}$ の逆射があれば、それが元の $f$ の拡張であると考えられるのでした。そのため $\tilde{k}$ が同型射だと示しましょう。それには、図式$(\mathrm{B})$
$${\mathrm{\Delta }}^1\tilde{k}{h}^2{X}_{/\sigma }r{X}_{/{\sigma }_0}$$
が可換であることを示し、 $r$ が right fibration であること（命題 9）と、命題 8 を使えばよいです。
　図式 $(\mathrm{B})$ の可換性は、join に書き直すと次の図式の可換性に対応します：
$${\mathrm{\Delta }}^1\star {\mathrm{\Delta }}^{1}kX{\mathrm{\Delta }}^1\star \partial {\mathrm{\Delta }}^1\widetilde{h^2}$$
この図式は、 $k$ が $l$ の拡張であることと $l$ の定義から可換性が簡単にわかります。よって、結局 $\tilde{k}$ が同型射であること、つまり $\tilde{k}$ の逆射 $\tilde{h}:{\mathrm{\Delta }}^1\to X_{/\sigma }$ が存在することがいえました！
　命題 6 よりこの $\tilde{h}$ から射 $h:{\mathrm{\Delta }}^3\cong {\mathrm{\Delta }}^1\star {\mathrm{\Delta }}^1\to X$ が得られます。最後に、この $h$ が実際に $f$ の拡張であることを示しましょう。 $\tilde{h}$ が $\tilde{k}$ の $X_{/\sigma }$ における逆射であることと、 $k$ が $l$ の拡張であることから次の 2 つの図式が可換であることがわかります。
$${\mathrm{\Lambda }}_0^1{g}^1{X}_{/\sigma }{X}_{/\sigma }q{\mathrm{\Delta }}^1\tilde{h}{\mathrm{\Delta }}^1{g}^2\tilde{h}{X}_{/{\sigma }_0}$$
これらの可換性は join に書き直すと次の図式の可換性に対応します。
$${\mathrm{\Delta }}^1\star \partial {\mathrm{\Delta }}^1{f}^2{\mathrm{\Lambda }}_0^1\star {\mathrm{\Delta }}^1{f}^1{\mathrm{\Delta }}^1\star {\mathrm{\Delta }}^{1}hX$$
したがって、次の 2 つの図式が可換であることになります。
$${\mathrm{\Lambda }}_0^1\star \partial {\mathrm{\Delta }}^1{\mathrm{\Delta }}^1\star \partial {\mathrm{\Delta }}^1{f}^2{\mathrm{\Lambda }}_0^1\star {\mathrm{\Delta }}^1{f}^1{\mathrm{\Lambda }}_0^3{\mathrm{\Delta }}^1\star {\mathrm{\Delta }}^{1}hX{\mathrm{\Lambda }}_0^1\star \partial {\mathrm{\Delta }}^1{\mathrm{\Delta }}^1\star \partial {\mathrm{\Delta }}^1{f}^2{\mathrm{\Lambda }}_0^1\star {\mathrm{\Delta }}^1{f}^1{\mathrm{\Lambda }}_0^{3}fX$$
すると、pushout の普遍性より、次の図式が可換であること、すなわち $h$ が $f$ の拡張であることがわかります！
$${\mathrm{\Lambda }}_0^{3}fX{\mathrm{\Delta }}^{3}h$$

5 章　Joyal の拡張定理の証明（一般の場合）

　以上の説明では、イメージの解説や概念・命題の導入と並行して証明を進めていったため議論が少しごちゃごちゃして見えたかもしれません。そこで、最後に、一般の場合での Joyal の拡張定理の証明を簡潔に書き下しておこうと思います。そのために、次の命題を使います（ Kerodon, 例4.4.1.10. ）。

　それでは、Joyal の拡張定理の証明を述べます。

おわりに

　この記事ではホモトピー仮説をテーマにして Joyal の拡張定理について解説してきました。単体的集合の join やスライスを利用することで、そのままでは複雑な図形の扱いを ${\mathrm{\Lambda }}_0^1$ や ${\mathrm{\Delta }}^1$ など簡単な図形の操作に帰着でき、また実際に操作を行う際には忘却関手や制限関手が right fibration という性質をもつことが重要なのでした。これらの概念の重要性が伝われば嬉しいです。
　（$\mathrm{\infty }$-category の間の）忘却関手と制限関手が right fibration であることの証明は省略しました。これに関して今後記事を書きたいです。一応証明が載っている文献を挙げておきます：

• Kerodon [1], 4.3.6 Slices of $\mathrm{\infty }$-Categories
• [2], 28. Slices of quasicategories
• [4], 2.1.1 Left Fibrations in Classical Category Theory
• Denis-Charles Cisinski, "Higher Categories and Higher Algebra", 3.4 Left or right fibrations, joins and slices, pdf のリンク