Person. Mario Román [marioromán]

Postdoctoral Researcher
Oxford University
https://mroman42.github.io

Contributions

Reference. Context-free languages of string diagrams [earnshaw-román-2024-cfml]

2024
Matt Earnshaw, Mario Román

Reference. The produoidal algebra of process decomposition [earnshaw-hefford-roman-2024-produoidal]

2024
Matt Earnshaw, Mario Román, James Hefford
CSL 2024
10.4230/LIPIcs.CSL.2024.25

@InProceedings{earnshaw_et_al:LIPIcs.CSL.2024.25,
  author =	{Earnshaw, Matt and Hefford, James and Rom\'{a}n, Mario},
  title =	{{The Produoidal Algebra of Process Decomposition}},
  booktitle =	{32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)},
  pages =	{25:1--25:19},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-310-2},
  ISSN =	{1868-8969},
  year =	{2024},
  volume =	{288},
  editor =	{Murano, Aniello and Silva, Alexandra},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.25},
  URN =		{urn:nbn:de:0030-drops-196688},
  doi =		{10.4230/LIPIcs.CSL.2024.25},
  annote =	{Keywords: monoidal categories, profunctors, lenses, duoidal categories}
}

Reference. Polar interleavings for deadlock-free message-passing [earnshaw-nester-roman-2023-polar-interleavings]

November 1, 2023
Matt Earnshaw, Chad Nester, Mario Román

@unpublished{ehr_contouring_prostar,
  author =	{Earnshaw, Matt and Nester, Chad and Rom\'{a}n, Mario},
  title =	{{Polar Interleavings for Deadlock-Free Message-Passing}},
  year =	{2023},
  annote =    {Extended Abstract}
}

Reference. Presentations of premonoidal categories by devices [earnshaw-nester-roman-2023-presentations-of-premonoidals]

November 1, 2023
Matt Earnshaw, Chad Nester, Mario Román

@unpublished{ehr_contouring_prostar,
  author =	{Earnshaw, Matt and Nester, Chad and Rom\'{a}n, Mario},
  title =	{{Presentations of Premonoidal Categories by Devices}},
  year =	{2023},
  annote =    {Extended Abstract}
}

Reference. Contouring prostar autonomous categories [earnshaw-hefford-roman-2023-contouring-prostar-autonomous]

June 1, 2023
Matt Earnshaw, Mario Román, James Hefford

@unpublished{ehr_contouring_prostar,
  author =	{Earnshaw, Matt and Hefford, James and Rom\'{a}n, Mario},
  title =	{{Contouring Prostar Autonomous Categories}},
  year =	{2023},
  annote =    {Extended Abstract}
}

Reference. Open diagrams via coend calculus [garner-lopez-franco-2016-commutativity]

February 1, 2021
Mario Román
Proceedings of Applied Category Theory 2021
10.4204/eptcs.333.5

@article{roman-2021-open,
   title={Open Diagrams via Coend Calculus},
   volume={333},
   ISSN={2075-2180},
   url={http://dx.doi.org/10.4204/EPTCS.333.5},
   DOI={10.4204/eptcs.333.5},
   journal={Electronic Proceedings in Theoretical Computer Science},
   publisher={Open Publishing Association},
   author={Román, Mario},
   year={2021},
   month=feb, pages={65–78}
   }

Reference. Open diagrams via coend calculus [roman-2021-open]

February 1, 2021
Mario Román
Proceedings of Applied Category Theory 2021
10.4204/eptcs.333.5

@article{roman-2021-open,
   title={Open Diagrams via Coend Calculus},
   volume={333},
   ISSN={2075-2180},
   url={http://dx.doi.org/10.4204/EPTCS.333.5},
   DOI={10.4204/eptcs.333.5},
   journal={Electronic Proceedings in Theoretical Computer Science},
   publisher={Open Publishing Association},
   author={Román, Mario},
   year={2021},
   month=feb, pages={65–78}
   }