t_wの輪郭

圏論Kan拡張
あれ