概论
数学
发现
Andrius Kulikauskas
用中文
Software
See: Grothendieck's 4+2 = 6 operations, Adjunction
Understand how math expresses the six criteria (the six representations of divisions).