Johnicholas comments on Tarski Statements as Rationalist Exercise - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (8)
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.