{"blog_url":"https://randommemory.hatenablog.com/","type":"rich","version":"1.0","width":"100%","description":"[Steve Awodey\u672c] 1.5 IsomorphismDefinition 1.3. \u4efb\u610f\u306e category ${\\bf C}$ \u306b\u304a\u3044\u3066\u3001arrow $f: A \\to B$ \u304c isomorphism (\u540c\u578b\u5c04) \u3067\u3042\u308b\u3068\u306f\u3001\u3042\u308b arrow $g: B \\to A$ \u304c\u3068\u308c\u3066 \\begin{equation} g \\circ f = 1_A \\quad \\text{and} \\quad f \\circ g = 1_B \\end{equation}\u304c\u6210\u7acb\u3059\u308b\u3068\u304d\u3092\u8a00\u3046\u3002 arrow \u306e\u9006\u306f\u305f\u30601\u3064\u3067\u3042\u308b\u306e\u3067\u3001$g = f^{-1}$ \u3068\u66f8\u304f\u3002$A$ \u304c $B$ \u306b isomorp\u2026","title":"\u570f\u8ad6(10)\u3068 isomorphism","height":"190","blog_title":"\u3089\u3093\u3060\u3080\u306a\u8a18\u61b6","author_name":"derwind","author_url":"https://blog.hatena.ne.jp/derwind/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F01%2F18%2F012455\" title=\"\u570f\u8ad6(10)\u3068 isomorphism - \u3089\u3093\u3060\u3080\u306a\u8a18\u61b6\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","url":"https://randommemory.hatenablog.com/entry/2016/01/18/012455","categories":["math-category"],"published":"2016-01-18 01:24:55","image_url":null,"provider_url":"https://hatena.blog","provider_name":"Hatena Blog"}