t_wの輪郭
『すべての概念はKan拡張である』
圏論
『圏論 | 壱大整域』
2024/4/22 10:49:00
http://alg-d.com/math/kan_extension/
あれ