TY  - RPRT
TI  - The saturated prefilter monad
AU  - Hongliang Lai
AU  - Dexue Zhang
AU  - Gao Zhang
PY  - 2020
UR  - https://arxiv.org/abs/2003.08610
ID  - 2003.08610
ER  -