Wiki. “自由-遗忘伴随” [自由-遗忘伴随]

自由函子是遗忘函子的左伴随.

相关概念

张量-同态伴随