derwind https://blog.hatena.ne.jp/derwind/ らんだむな記憶 https://randommemory.hatenablog.com/ math-category [Steve Awodey本] 1.4. Examples of categories3. 半順序集合或は poset とは集合 $A$ であってある二項関係 $a \le_A b$ を持つものである。それは $a,b,c \in A$ に対して以下の条件を満たす:反射性: $a \le_A a$ 推移性: $a \le_A b$ かつ $b \le_A c$ ならば $a \le_A c$ 反対称性: $a \le_A b$ かつ $b \le_A a$ ならば $a = b$―――category $\bf{Pos}$ は以下のようなデータからなる: objects: posets arr… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Frandommemory.hatenablog.com%2Fentry%2F2016%2F01%2F17%2F025820" title="圏論(8)と poset - らんだむな記憶" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2016-01-17 02:58:20 rich https://randommemory.hatenablog.com/entry/2016/01/17/025820 1.0 100%