TY  - RPRT
TI  - Metric monads
AU  - JIří Rosický
PY  - 2021
UR  - https://arxiv.org/abs/2012.14641
ID  - 2012.14641
ER  -