2016-01-18から1日間の記事一覧
[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 =…
[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 =…
