前回の話 前回、同型かどうかを判断するコードの中に間違いがあるという話を書きました。 中心となる処理は以下です。 fn is_isomorphism(&self, object1: &str, object2: &str) -> bool { self.has_arrow(object1, object2) && self.has_arrow(object2, obj…

【要訂正】同型を判断したい 前回は圏を構造化したところまででした。というわけで、そこから様々なことを調べられるようにしたい。 手始めに、同型かどうかを調べる関数を追加した（関数名がダサいのは気にしないでください）。 しかし、実はこの関数の中身…

発端 圏論を勉強しているのだが、本格的に書籍を買ってから約一年になる。圏論の勉強では、実際に手を動かして図式を書かないとかなり効率が悪くて、ものぐさな自分もさすがにペンでお絵かきしていた。が、だんだんそれもイヤになってしまい、せっかくなので…