MARIO ROMÁN
mromang08@gmail.com
mroman@ttu.ee
I am currently a PhD student at Tallinn University of Technology under the supervision of Pawel Sobociński; my main interests being category theory and functional programming (GitHub, CV). I have studied lenses in functional programming and developed a theory of incomplete string diagrams that allows us to reason with many constructions in applied category theory in a formal and purely diagrammatic way.

Papers
Monoidal Streams for Dataflow Programming. Elena Di Lavore, Giovanni de Felice, Mario Román.
ArXiv preprint 2202.02061, February 2022.
Recording and slides of the presentation at the Intercats seminar /(31st May 2022, Topos Institute at Berkeley,
Slides for the TallCat Seminar (10th February 2022, Tallinn).
Slides for NWPT'21 (4th October 2021, Reykjavík).
Extended abstract accepted for NWPT'21 (4th October 2021, Reykjavík).
Promonads and String Diagrams for Effectful Categories. Mario Román, out for review.
ArXiv preprint 2205.07664, May 2022.
On Premonoidal Categories and a Graphical View of Programs, TallCat Reading Seminar, March 2022.
Cornering Optics. Chad Nester, Mario Román, Guillaume Boisseau, out for review.
ArXiv preprint 2205.00842, May 2022.
A Canonical Algebra of Open Transition Systems. Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini, Paweł Sobociński. (pdf, bibtex)
Slides for Formal Aspects of Component Software (FACS'21, 28th October 2021, Grenoble, online).
Video for Applied Category Theory 2021 (16th July 2021, Cambridge, online).
Slides for Applied Category Theory 2021 (16th July 2021, Cambridge, online).
ArXiv preprint 2010.10069, October 2020.
Functorial Language Games for Question Answering. Giovanni de Felice, Elena Di Lavore, Mario Román, Alexis Toumi. (pdf, bibtex)
In Proceedings of Applied Category Theory 2020, EPTCS (7th July 2020, MIT, online).
ArXiv preprint 2005.09439, May 2020.
Open Diagrams via Coend Calculus. Mario Román. (bibtex)
In Proceedings of Applied Category Theory 2020, EPTCS (7th July 2020, MIT, online).
Video for Applied Category Theory 2020 (7th July 2020, MIT, online).
Slides for Applied Category Theory 2020 (7th July 2020, MIT, online).
ArXiv preprint 2004.04526, April 2020.
Comb Diagrams for DiscreteTime Feedback. Mario Román.
ArXiv preprint 2003.06214, March 2020.
Profunctor optics, a categorical update. Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore, Mario Román.
Slides for Applied Category Theory 2020 (7th July 2020, MIT, online).
ArXiv preprint 2001.07488, January 2020.
Slides for NWPT'19 (15th November 2019, Tallinn).
Profunctor optics and traversals. Mario Román. ArXiv preprint 2001.08045, January 2020.
MSc Dissertation at the University of Oxford, supervised by Prof. Jeremy Gibbons.
Slides for MFoCS dissertation proposals (14th June 2019, University of Oxford).
Mikrokosmos: an educational lambda interpreter. Mario Román.
Published at the Journal of Open Source Education, 2018.
Category Theory and Lambda Calculus. Bachelor's thesis, Universidad de Granada.
Reviewing: I have been part of the programme commitee for ACT. I have reviewed for SYCO, FoSSaCS, Compositionality, CONCUR and LiCS.
Notes and talks
On Premonoidal Categories and a Graphical View of Programs, TallCat Reading Seminar, March 2022.
Compositional Markov Processes, ACT Adjoint School notes, March 2022.
Monoidal profunctors and twisted monoids, 22 November 2021.
Iterative processes, 31 July 2021.
Picturing Multivariable Adjunctions, and the 2Chu Construction, TallCat Seminar, November 2020.
Wiring diagrams and feedback, 5 November 2020.
Notes on Categories with Feedback, 24 August 2020.
Distributive laws of data accessors, 7 August 2020.
Timing processes (the naive way), joint with Elena Di Lavore, 5 August 2020.
Initialized feedback for nonempty lists, 3 August 2020.
Game Equilibria as FixedPoint Semantics, joint with Elena Di Lavore, July 2020.
Formal Tambara Theory, June 2020.
Double Rel and Peircean negation, May 2020.
Traversables as Coalgebras, May 2020.
Composing optics with feedback, joint with Elena Di Lavore, May 2020.
Towards Diagrammatic Tambara theory, April 2020.
Kleisli Diagrams for Optics, March 2020.
Initialized feedback categories, March 2020.
Optics form a category, graphically, March 2020.
Composing optics, a note submitted for SYCO7, February 2020.
Profunctor optics: the categorical view, joint with Emily Pillmore on the nCategory Café, January 2020.
Optic embeds into the Int construction, joint with Elena Di Lavore, October 2019.
Tannakian reconstruction of Tambara modules, September 2019.
Monoides coloreados, bi(monoides coloreados). (26th April 2019, IEMath).
Ideas sobre constructivismo y computabilidad. (21st September 2018, IEMath).
Lógica intuicionista y cálculo lambda. (19th January 2018, IEMath).
Categorías, funtores y transformaciones naturales. (18th November 2017, IEMath).
I make public some pieces of paper I collect and write while studying some topic. They are not meant to be definitive and many of them do not contain original material. Think of these as atomic ideas.
News
August 2022. Kleene Award to the best student paper at LiCS 2022 for Monoidal Streams for Dataflow Programming, joint with Elena Di Lavore and Giovanni de Felice.
February 2022. I will join the Applied Category Theory School this year as a Teaching Assistant on Nicoletta Sabadini's group.
November 2021. At NWPT'21 I presented a first version of "Monoidal Streams".
July 2020. At the Applied Category Theory conference I presented Open Diagrams via Coend Calculus and Profunctor Optics, a Categorical Update. Giovanni de Felice presented our work on language games.
November 2019. I started a PhD position at the Compositionality group at Tallinn University of Technology, under the supervision of Pawel Sobocinski.
September 2019. I finished the MSc in Mathematics and Foundations of Computer Science at the University of Oxford. My MSc thesis is on the ArXiv.
August 2018. I participated on the CAP Days 2018 Workshop at Siegen, on computational homological algebra.
February 2014. Together with David Charte and Ignacio Cordon, we started LibreIM, a community for mathematics and open source computer science in Granada.