About

Hi! I’m Mario Román. I am studying a PhD at Tallinn University of Technology under the supervision of Pawel Sobociński; my main interests being categories and functional programming. Before this, I studied an MSc on Mathematics and Computer Science at the University of Oxford. Even before, completed two bachelor’s degrees in Mathematics and Computer Engineering at the University of Granada (Spain). I am a founder and ex-organizer of a local free software community (LibreIM), for which I still write articles and organize seminars.

All the articles in this page are licensed under Creative Commons BY-SA 2.0 unless otherwise specified.



Table of Contents

Publications

  • Profunctor optics, a categorical update. Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore, Mario Román. ArXiv preprint 2001.07488, January 2020.
  • Profunctor optics and traversals. Mario Román. ArXiv preprint 2001.08045, January 2020.
  • Coend Calculus and Open Diagrams. Mario Román. ArXiv preprint 2004.04526, April 2020.
  • Comb Diagrams for Discrete-Time Feedback. Mario Román. ArXiv preprint 2003.06214, March 2020.
  • Mikrokosmos: an educational lambda interpreter. Mario Román. The Journal of Open Source Education, 2018.

Talks

Short notes

Author: Mario Román (mromang08@gmail.com)

Date: 26 December 2019

@mroman42.