COINDUCTIVE STREAMS IN MONOIDAL CATEGORIES. - DI LAVORE, ELENA; DE FELICE, GIOVANNI; ROMÁN, MARIO (Logical Methods in Computer Science (LMCS), 2025)