Regular categories, oligomorphic monoids, and tensor categories

Abstract

Knop constructed a tensor category associated to a finitely-powered regular category equipped with a degree function. In recent work with Harman, we constructed a tensor category associated to an oligomorphic group equipped with a measure. In this paper, we explain how Knop's approach fits into our theory. The first, and most important, step describes finitely-powered regular categories in terms of oligomorphic monoids; this may be of independent interest. We go on to examine some aspects of this construction when the regular category one starts with is the category of $G$-sets for an oligomorphic group $G$, which yields some interesting examples.

Theorems & Definitions (116)

• Theorem 1.1
• Example 1.2
• Theorem 1.3
• Theorem 1.4
• Definition 2.1
• Definition 3.1
• Definition 3.2
• Definition 3.3
• Theorem 3.4
• Definition 3.5