TY - RPRT TI - Algebraic Kan extensions in double categories AU - Seerp Roald Koudenburg PY - 2015 UR - https://arxiv.org/abs/1406.6994 ID - 1406.6994 ER -