This paper has two purposes. The first is to extend the theory of linearly distributive categories by considering the structures that emerge in a special case: the normal duoidal category (Poly,y,⊗,⊳) of polynomial functors under Dirichlet and substitution product. This is an isomix LDC which is neither *-autonomous nor fully symmetric. The additional structures of interest here are a closure for ⊗ and a co-closure for ⊳, making Poly a bi-closed LDC, which is a notion we introduce in this paper.
The second purpose is to use Poly as a source of examples and intuition about various structures that can occur in the setting of LDCs, including duals, cores, linear monoids, and others, as well as how these generalize to the non-symmetric setting. To that end, we characterize the linearly dual objects in Poly: every linear polynomial has a right dual which is a representable. It turns out that the linear and representable polynomials also form the left and right cores of Poly. Finally, we provide examples of linear monoids, linear comonoids, and linear bialgebras in Poly.
Keywords: Linearly distributive categories, Polynomial functors, Isomix categories, Normal duoidal categories
2020 MSC: 18M05,18M50, 03F52
Theory and Applications of Categories, Vol. 45, 2026, No. 42, pp 1748-1781.
Published 2026-07-29.
TAC Home