feedback premonoidal category

Last updated Feb 3, 2024

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