2018-09-05から1日間の記事一覧
イチ圏 前回はゼロ圏(対象も射も持たない圏)をRustで表現してみました。 次は、1(対象が1つと、その恒等射のみを持つ圏)を定義してみようと思います。 少しダサいですが、勝手に「イチ圏」と表記します。 構造体を作る #[derive(PartialEq)] struct Cate…
イチ圏 前回はゼロ圏(対象も射も持たない圏)をRustで表現してみました。 次は、1(対象が1つと、その恒等射のみを持つ圏)を定義してみようと思います。 少しダサいですが、勝手に「イチ圏」と表記します。 構造体を作る #[derive(PartialEq)] struct Cate…