TY - RPRT TI - Abstraction and Application in Adjunction AU - K. Dosen PY - 2001 UR - https://arxiv.org/abs/math/0111061 ID - math/0111061 ER -