t_wの輪郭

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