第493章 范畴论神器的伴随对偶