物种

结构物种是一个规则 它

1. 对于每个有限集 ，产生一个有限集 ，

2. 对于每个双射 ，产生一个函数

(1)

函数 应进一步满足以下函子性质

1. 对于所有双射 和 ，

(2)

2. 对于恒等映射 identity map ，

(3)

元素 称为在 上的 -结构（或在 上的物种 的结构）。函数 称为沿 的 -结构的输运。