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