a-suenami/category_theory_sample

圏論学習用のサンプル実装etc