TY - RPRT TI - Algebraic Kan extensions along morphisms of internal algebra classifiers AU - Mark Weber PY - 2015 UR - https://arxiv.org/abs/1511.04911 ID - 1511.04911 ER -