TY - RPRT TI - Bénabou's theorem for pseudoadjunctions AU - Matěj Dostál PY - 2017 UR - https://arxiv.org/abs/1707.04074 ID - 1707.04074 ER -