物種

結構物種是一個規則 它

1. 對於每個有限集 ，產生一個有限集 ，

2. 對於每個雙射 ，產生一個函式

(1)

函式 應進一步滿足以下函子性質

1. 對於所有雙射 和 ，

(2)

2. 對於恆等對映 identity map ，

(3)

元素 稱為在 上的 -結構（或在 上的物種 的結構）。函式 稱為沿 的 -結構的輸運。