derwind https://blog.hatena.ne.jp/derwind/ らんだむな記憶 https://randommemory.hatenablog.com/ math-category [Steve Awodey本] 1.5 IsomorphismDefinition 1.3. 任意の category ${\bf C}$ において、arrow $f: A \to B$ が isomorphism (同型射) であるとは、ある arrow $g: B \to A$ がとれて \begin{equation} g \circ f = 1_A \quad \text{and} \quad f \circ g = 1_B \end{equation}が成立するときを言う。 arrow の逆はただ1つであるので、$g = f^{-1}$ と書く。$A$ が $B$ に isomorp… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F01%2F18%2F012455" title="圏論(10)と isomorphism - らんだむな記憶" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2016-01-18 01:24:55 rich https://randommemory.hatenablog.com/entry/2016/01/18/012455 1.0 100%