mbps https://blog.hatena.ne.jp/mbps/ PS https://mbps.hatenablog.com/ 定義 Category Category, 圏 Category: とは、以下から成る代数的構造 である: 類: (objects) 類: (morphisms) 関数: (domain of) 関数: (codomain of) 関数: (composite of) 関数: (identity of) ただし、 とした。 これらは以下の四つの要件を満たさなくてはならない。 任意の について Directed graphとしての圏 @deprecated 圏はdirected graphの一種である。オブジェクト指向的には、directed graphを継承している。実際、 とすれば はdirected graphに… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmbps.hatenablog.com%2Fentry%2F2013%2F04%2F13%2F000821" title="Category - PS" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://chart.apis.google.com/chart?cht=tx&amp;chl= Hatena Blog https://hatena.blog 2013-04-13 00:08:21 rich https://mbps.hatenablog.com/entry/2013/04/13/000821 1.0 100%