generated at
2/18/2025, 5:46:22 PM
scrap:随伴関手 - 壱大整域
http://alg-d.com/math/kan_extension/adjoint.pdf
cripped at 2019/08/21 6:47
#壱大整域