Fiat categorification of the symmetric inverse semigroup IS_n and the semigroup F^*_n

Abstract

Starting from the symmetric group $S_n$, we construct two fiat $2$-categories. One of them can be viewed as the fiat "extension" of the natural $2$-category associated with the symmetric inverse semigroup (considered as an ordered semigroup with respect to the natural order). This $2$-category provides a fiat categorification for the integral semigroup algebra of the symmetric inverse semigroup. The other $2$-category can be viewed as the fiat "extension" of the $2$-category associated with the maximal factorizable subsemigroup of the dual symmetric inverse semigroup (again, considered as an ordered semigroup with respect to the natural order). This $2$-category provides a fiat categorification for the integral semigroup algebra of the maximal factorizable subsemigroup of the dual symmetric inverse semigroup.

v2: minor revision

References in corpus (7)

• 2-Kac-Moody algebras
• Special modules over positively based algebras
• Simple transitive $2$-representations and Drinfeld center for some finitary $2$-categories
• Simple transitive 2-representations for two non-fiat 2-categories of projective functors
• Transitive 2-representations of finitary 2-categories
• Duflo involutions for 2-categories associated to tree quivers
• Multisemigroups with multiplicities and complete ordered semi-rings