{"blog_title":"\u3089\u3093\u3060\u3080\u306a\u8a18\u61b6","published":"2016-02-13 14:09:42","type":"rich","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F02%2F13%2F140942\" title=\"\u570f\u8ad6(30)\u3068 slice category - \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>","description":"$\\mathbf{C}/C$ \u3068\u3044\u3046 slice category \u3068\u547c\u3070\u308c\u308b\u3082\u306e\u3092\u8003\u3048\u308b\u3002\u30b9\u30e9\u30a4\u30b9\u30c1\u30fc\u30ba\uff01 objects: $f \\in \\mathbf{C} \\,\\,\\,\\text{s.t.}\\,\\, \\mathrm{cod}(f) = C$ arrows: $\\mathbf{a}: f \\to f^\\prime$ \u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u53ef\u63db\u56f3\u5f0f\u3092\u6e80\u305f\u3059\u3082\u306e: \\begin{equation} \\begin{CD} X @> a >> X^\\prime \\\\ @V f VV \\circlearrowright @VV f^\\prime V \\\\ C @= C \\end{CD} \\end{equa\u2026","title":"\u570f\u8ad6(30)\u3068 slice category","author_name":"derwind","height":"190","version":"1.0","url":"https://randommemory.hatenablog.com/entry/2016/02/13/140942","image_url":null,"categories":["math-category"],"width":"100%","provider_name":"Hatena Blog","blog_url":"https://randommemory.hatenablog.com/","author_url":"https://blog.hatena.ne.jp/derwind/","provider_url":"https://hatena.blog"}