See also Coinductively defined streams Compact closed streams via Adamek’s theorem Stochastic streams via Adamek’s theorem Cartesian streams via Adamek’s theorem
