{"published":"2016-02-13 19:20:26","height":"190","blog_title":"\u3089\u3093\u3060\u3080\u306a\u8a18\u61b6","provider_url":"https://hatena.blog","blog_url":"https://randommemory.hatenablog.com/","width":"100%","title":"\u570f\u8ad6(31)\u3068\u5358\u9805\u30a4\u30c7\u30a2\u30eb(\u4e3b\u30a4\u30c7\u30a2\u30eb)","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F02%2F13%2F192026\" title=\"\u570f\u8ad6(31)\u3068\u5358\u9805\u30a4\u30c7\u30a2\u30eb(\u4e3b\u30a4\u30c7\u30a2\u30eb) - \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/02/13/192026","version":"1.0","provider_name":"Hatena Blog","author_name":"derwind","type":"rich","author_url":"https://blog.hatena.ne.jp/derwind/","image_url":null,"description":"$\\mathbf{C} = \\mathbf{P}$ \u3068\u3044\u3046poset\u30d9\u30fc\u30b9\u306e category \u306e\u5834\u5408\u3002 $p \\in \\mathrm{Ob}(\\mathbf{P})$ \u3092\u3068\u308b\u3002 \\begin{equation} \\downarrow\\!(p) := \\begin{cases} \\text{objects:}\\ q \\le p \\\\ \\text{arrows:}\\ f: q_1 \\to q_2, \\,\\,\\,\\text{for}\\,\\,\\, q_1 \\le q_2 \\,(\\le p) \\end{cases} \\end{equation}\u3068\u3044\u3046\u8a18\u53f7\u3092\u5c0e\u5165\u3059\u308b\u3002\u3053\u306e\u6642\u3001 $\\downarrow\\!\u2026","categories":["math-category"]}