TY  - RPRT
TI  - Homotopy coherent adjunctions and the formal theory of monads
AU  - Emily Riehl
AU  - Dominic Verity
PY  - 2015
UR  - https://arxiv.org/abs/1310.8279
ID  - 1310.8279
ER  -