TY - RPRT TI - Constructing categorical idempotents AU - Matthew Hogancamp PY - 2020 UR - https://arxiv.org/abs/2002.08905 ID - 2002.08905 ER -