O-species and tensor algebras

In this paper we consider O-species and their representations. These O-species are a type of a generalization of a species introduced by Gabriel. We also consider the tensor algebras of such O-species. It is proved that the category of all representations of an O-species and the category of all right modules over the corresponding tensor algebra are naturally equivalent.

---

Opracowanie ze środków MNiSW w ramach umowy 812/P-DUN/2016 na działalność upowszechniającą naukę.