{"categories":["math-category"],"version":"1.0","published":"2016-01-17 02:58:20","url":"https://randommemory.hatenablog.com/entry/2016/01/17/025820","blog_url":"https://randommemory.hatenablog.com/","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F01%2F17%2F025820\" title=\"\u570f\u8ad6(8)\u3068 poset - \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>","type":"rich","description":"[Steve Awodey\u672c] 1.4. Examples of categories3. \u534a\u9806\u5e8f\u96c6\u5408\u6216\u306f poset \u3068\u306f\u96c6\u5408 $A$ \u3067\u3042\u3063\u3066\u3042\u308b\u4e8c\u9805\u95a2\u4fc2 $a \\le_A b$ \u3092\u6301\u3064\u3082\u306e\u3067\u3042\u308b\u3002\u305d\u308c\u306f $a,b,c \\in A$ \u306b\u5bfe\u3057\u3066\u4ee5\u4e0b\u306e\u6761\u4ef6\u3092\u6e80\u305f\u3059:\u53cd\u5c04\u6027: $a \\le_A a$ \u63a8\u79fb\u6027: $a \\le_A b$ \u304b\u3064 $b \\le_A c$ \u306a\u3089\u3070 $a \\le_A c$ \u53cd\u5bfe\u79f0\u6027: $a \\le_A b$ \u304b\u3064 $b \\le_A a$ \u306a\u3089\u3070 $a = b$\u2015\u2015\u2015category $\\bf{Pos}$ \u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306a\u30c7\u30fc\u30bf\u304b\u3089\u306a\u308b: objects: posets arr\u2026","width":"100%","title":"\u570f\u8ad6(8)\u3068 poset","blog_title":"\u3089\u3093\u3060\u3080\u306a\u8a18\u61b6","author_url":"https://blog.hatena.ne.jp/derwind/","author_name":"derwind","provider_name":"Hatena Blog","image_url":null,"height":"190","provider_url":"https://hatena.blog"}