subject范畴逻辑 [范畴逻辑]