Mario Román

Home

❯

papers

Folder: papers

14 items under this folder.

  • Oct 21, 2025

    Evidential Decision Theory via Partial Markov Categories (Di Lavore, Román, 2023)

    • Jul 29, 2025

      Promonads and String Diagrams for Effectful Categories (Román, 2022)

      • Apr 30, 2025

        Coinductive Monoidal Streams (Di Lavore, de Felive, Roman, 2023)

        • Feb 13, 2025

          Partial Markov Categories (Di Lavore, Roman, 2024)

          • Jan 08, 2025

            observe library (Román, 2024)

            • Dec 21, 2024

              A Simple Formal Language for Probabilistic Decision Problems (Di Lavore, Jacobs, Román, 2024)

              • Dec 06, 2024

                Span(Graph), a Canonical Feedback Algebra of Open Transition Systems (Di Lavore, Gianola, Román, Sabadini, Sobocinski, 2022)

                • Oct 16, 2024

                  Monoidal Context Theory, PhD Thesis (Román, 2023)

                  • Sep 18, 2024

                    Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)

                    • monoidal-streams
                  • Jul 20, 2024

                    String Diagrams for Physical Duoidal Categories (Rajesh, Román, 2024)

                    • May 24, 2023

                      Mikrokosmos: an Educational Lambda Interpreter (Román, 2018)

                      • May 24, 2023

                        The Produoidal Algebra of Process Decomposition (Earnshaw, Hefford, Román, 2023)

                        • May 18, 2023

                          String Diagrams for Premonoidal Categories (Román, 2023)

                          • Apr 29, 2023

                            Open Diagrams via Coend Calculus (Román, 2020)


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

                            • GitHub
                            • ArXiv
                            • OrcID