How do you write diagram chases?

What the title says: is there a clear, unambiguous, systematic way of writing diagram chasing arguments? What I generally do is use different colours for arrows on different paths but I’m not entirely satisfied with this. There’s also the issue of denoting when an element is being mapped to from another vs when it is being lifted from another etc

添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论