Mario Román

Home

❯

notes

❯

papers

Folder: notes/papers

17 items under this folder.

  • Jun 26, 2025

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

    • Jun 26, 2025

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

      • Jun 26, 2025

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

        • monoidal-streams
      • Jun 26, 2025

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

        • Jun 26, 2025

          Profunctor Optics a Categorical Update (Clarke, Elkins, Gibbons, Loregian, Milewski, Pillmore, Román)

          • Jun 26, 2025

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

            • May 20, 2025

              Effectful Mealy Machines, Bisimulation and Trace (Bonchi, Di Lavore, Román, 2025)

              • May 20, 2025

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

                • May 09, 2025

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

                  • May 09, 2025

                    observe library (Román, 2024)

                    • May 08, 2025

                      A Canonical Algebra of Open Transition Systems (Di Lavore, Gianola, Roman, Sabadini, Sobocinski, 2021)

                      • May 02, 2025

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

                        • May 02, 2025

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

                          • Apr 30, 2025

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

                            • Apr 30, 2025

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

                              • Apr 30, 2025

                                Partial Markov Categories (Di Lavore, Roman, 2024)

                                • Apr 29, 2025

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


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

                                  • GitHub
                                  • ArXiv
                                  • OrcID