TY - RPRT TI - Two dimensional monadicity AU - John Bourke PY - 2013 UR - https://arxiv.org/abs/1212.5123 ID - 1212.5123 ER -