nLab Mario Román

Post-doc at the University of Oxford with Sam Staton.

• Personal website.

Selected writings

Thesis:

• Mario Román, Monoidal Context Theory (link), Tallinn University of Technology (2023).

On categorical probability:

• Elena Di Lavore?, Mario Román. Evidential Decision Theory via Partial Markov Categories.

  IEEE Symposium on Logic in Computer Science (LiCS, 2023).

On optics (in computer science):

• Mario Román. Open Diagrams via Coend Calculus. Applied Category Theory (ACT, 2021).
• Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore, Mario Román, Profunctor optics: a categorical update, Compositionality 6 1 (2024) (arXiv:2001.07488, doi:10.32408/compositionality-6-1)
• Matt Earnshaw, James Hefford?, Mario Román, The Produoidal Algebra of Process Decomposition, Computer Science Logic (2024)(arXiv:2301.11867)
• Chad Nester, Guillaume Boisseau? and Mario Román. Cornering Optics. Applied Category Theory (ACT, 2022).

On premonoidal categories:

• Mario Román. Promonads and String Diagrams for Effectful Categories. Applied Category Theory (ACT, 2022).

category: people