TY - RPRT TI - Strict refinement property of connected loop-free categories AU - Aly-Bora Ulusoy AU - Emmanuel Haucourt PY - 2024 UR - https://arxiv.org/abs/2406.01106 ID - 2406.01106 ER -