TY - RPRT TI - Object ideals and idempotent completeness AU - Jing He AU - Yixia Zhang PY - 2026 UR - https://arxiv.org/abs/2611.07505 ID - 2611.07505 ER -