Mario Román

Home

❯

notes

❯

Monoidal category of streams

Monoidal category of streams

Jul 24, 20251 min read

monoidal-category-of-streams

See also

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

Graph View

Backlinks

  • Monoidal streams via actions
  • Monoidal category
  • Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)

Mario Román, CC-BY-SA. Built with Quartz © 2025.

  • GitHub
  • ArXiv
  • OrcID