2018-09-10から1日間の記事一覧

Rustで圏論(6) 小圏・関手・自然変換

0, 1, 2, 3, 小圏 0(対象も射もない圏)、 1(対象が1つと恒等射のみの圏)、 2(対象が2つと、それぞれの恒等射・その間の1つの射からなる圏)、 3(対象が3つとそれぞれの恒等射、射も3つで1つの射が残り2つの射の合成である圏) をそれぞれRustで表現し…