By that I only meant what I described in the same paragraph: that the relation between the apple and its property is the same one in two contexts: when you start from considering the apple itself, and when you start from the note. The same fact, integrating the evidence from two sources. It’s an loose analogy with commuting in category theory, you arrive at the same result no matter which path you followed.
Yes, I’m familiar with category theory commutative diagrams. Still, I think it would be beneficial to draw the diagram (or write the equation—I can draw the diagram from the equation), because it requires you to name the elements, the dots and the arrows.
By that I only meant what I described in the same paragraph: that the relation between the apple and its property is the same one in two contexts: when you start from considering the apple itself, and when you start from the note. The same fact, integrating the evidence from two sources. It’s an loose analogy with commuting in category theory, you arrive at the same result no matter which path you followed.
Yes, I’m familiar with category theory commutative diagrams. Still, I think it would be beneficial to draw the diagram (or write the equation—I can draw the diagram from the equation), because it requires you to name the elements, the dots and the arrows.