Mario Román (Preferred)
, Mario Román García
Mario Román
Postdoc, University of Oxford
- Joined March 2023
Names
Emails
****@gmail.com (Confirmed)
, ****@cs.ox.ac.uk (Confirmed)
Personal Links
Career & Education History
Postdoc
University of Oxford (oxford.ac.uk)
2023 – Present
PhD student
Tallinn University of Technology (ttu.ee)
2019 – 2023
Advisors, Relations & Conflicts
Coauthor
Coauthor
2024 – Present
Coauthor
Elena Di Lavore
2019 – Present
Expertise
monoidal categories, feedback categories, coinduction
Present
profunctors, coend calculus, arrows, promonads
Present
optic, lens, profunctor optics, combs
Present
duoidal category, promonoidal category, produoidal category
Present
premonoidal categories, Freyd categories, effectful categories
Present