For any algebra morphism in a monoidal category, we provide sufficient conditions (which are also necessary if the unit is a left tensor generator) for the attached induction functor being semiseparable. Under mild assumptions, we prove that the semiseparability of the induction functor is preserved if one applies a lax monoidal functor. Similar results are shown for the coinduction functors attached to coalgebra morphisms in a monoidal category. As an application, we study the semiseparability of combinations of (co)induction functors in the context of duoidal categories.
Semiseparability of induction functors in a monoidal category
Lucrezia Bottegoni;Zhenbang Zuo
2026-01-01
Abstract
For any algebra morphism in a monoidal category, we provide sufficient conditions (which are also necessary if the unit is a left tensor generator) for the attached induction functor being semiseparable. Under mild assumptions, we prove that the semiseparability of the induction functor is preserved if one applies a lax monoidal functor. Similar results are shown for the coinduction functors attached to coalgebra morphisms in a monoidal category. As an application, we study the semiseparability of combinations of (co)induction functors in the context of duoidal categories.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Semisep发表版.pdf
Accesso aperto
Tipo di file:
POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione
1.89 MB
Formato
Adobe PDF
|
1.89 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.



