feedback premonoidal category

Last updated Jul 23, 2024

Feedback premonoidal categories are a version of feedback monoidal categories with effects: they substitute the monoidal category by an effectful category.