<p data-line="0" class="code-line"><a href="https://amzn.to/40w88Oq" target="_blank" rel="nofollow noopener noreferrer">圏論 原著第2版</a>の練習問題を解いてみます。</p>
<aside class="msg message"><span class="msg-symbol">!</span><div class="msg-content">
<p data-line="3" class="code-line">学習中の身のため、解答は必ずしも正しいとは限りません…！</p>
</div></aside>
<h1 id="2%E7%AB%A0-3" data-line="6" class="code-line">
<a class="header-anchor-link" href="#2%E7%AB%A0-3" aria-hidden="true"></a> 2章-3</h1>
<p data-line="8" class="code-line"><embed-katex><eq class="zenn-katex">f: A \to B</eq></embed-katex> が2つの逆射 <embed-katex><eq class="zenn-katex">g, g'</eq></embed-katex> を持つとする。</p>
<section class="zenn-katex code-line" data-line="10"><eqn><embed-katex display-mode="1">
\begin{aligned}
g &amp;= g \circ 1_B \\
&amp;= g \circ (f \circ g') \\
&amp;= (g \circ f) \circ g' \\
&amp;= 1_A \circ g' \\
&amp;= g'
\end{aligned}
</embed-katex></eqn></section>
<p data-line="20" class="code-line">よって <embed-katex><eq class="zenn-katex">g = g'</eq></embed-katex> が成り立つ。</p>
<h1 id="%E5%8F%82%E8%80%83%E6%96%87%E7%8C%AE" data-line="22" class="code-line">
<a class="header-anchor-link" href="#%E5%8F%82%E8%80%83%E6%96%87%E7%8C%AE" aria-hidden="true"></a> 参考文献</h1>
<p data-line="23" class="code-line"><a href="https://amzn.to/4awkkSJ" target="_blank" rel="nofollow noopener noreferrer">Category Theory (Oxford Logic Guides)</a><br>
<a href="https://amzn.to/40w88Oq" target="_blank" rel="nofollow noopener noreferrer">圏論 原著第2版</a></p>


圏論原著第2版の練習問題を解いてみる(2章-3)

2章-3

参考文献

Discussion