TY - RPRT TI - Some notes on diagram chasing and diagrammatic proofs in category theory AU - Valentino Vito PY - 2020 UR - https://arxiv.org/abs/2010.12534 ID - 2010.12534 ER -