Semialgebras associated with nonunital algebras and $k$-linear subcategories

TL;DR

This paper extends the construction of semialgebras to certain nonunital algebras, linking them to $k$-linear subcategories and providing examples like diagram categories and simplicial sets.

Contribution

It generalizes the semialgebra construction to nonunital algebras and applies it to locally finite subcategories in $k$-linear categories.

Findings

Semialgebras can be associated with nonunital algebras.

The construction applies to categories like Temperley-Lieb and Brauer.

Examples include the Reedy category of simplices.

Abstract

This paper is a sequel to arXiv:2307.13358 and arXiv:2308.16090. A construction associating a semialgebra with an algebra, subalgebra, and a coalgebra dual to the subalgebra played a central role in the author's book arXiv:0708.3398. In this paper, we extend this construction to certain nonunital algebras. The resulting semialgebra is still semiunital over a counital coalgebra. In particular, we associate semialgebras to locally finite subcategories in $k$-linear categories. Examples include the Temperley-Lieb and Brauer diagram categories and the Reedy category of simplices in a simplicial set.