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
评论
?
参与讨论