TY - RPRT TI - Closing the category of finitely presented functors under images made constructive AU - Sebastian Posur PY - 2020 DO - 10.32408/compositionality-2-4 UR - https://arxiv.org/abs/1911.11469 ID - 1911.11469 ER -