Monoidal category of streamsLast updated Oct 4, 2022See alsoCoinductively defined streamsCompact closed streams via Adamek’s theoremStochastic streams via Adamek’s theoremCartesian streams via Adamek’s theorem