t_wの輪郭

圏論
対象が一つだけの圏はモノイド