无限物种的表示

我们考虑物种，由可能无限的环集及其间的双模组成。Simson 将表示范畴实现为函子范畴，我们证明当每个环都是半单的时，该范畴是遗传的。我们使用纯度来提供充分条件，以使表示分解为具有局部自同态环的不可分解表示。对于任何取值于双模的双函子，我们函子性地构造了带有交换条件的物种。这产生了来自一系列主题的示例，例如阿贝尔长度范畴中的子对象格、持久同调中的域选择问题以及带缺陷的拓扑场论。