Tag: direct-sum theory