t_wの輪郭

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