t_wの輪郭

概念Kan拡張『圏論の基礎』
『すべての概念はKan拡張である』