References. Algebre Categoriali di Relazioni con Fallimento (Stefani, supervised by Bonchi, Di Lavore) In the setting of monoidal streams. choosing total relations gives directionality Monoidal streams for Buchi automata non-empty relations have functional range