t_wの輪郭

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