Those make sense. I note they’re not just simple lines in a space of ideas, but use a wider gamut of the senses than I was aiming for. Probably, the sort of shapes I was going for are in an unhappy middle ground. Too impoverished compared to the senses, too rich compared to the austerity of diagrams in category theory. So this post should have been about the images different proof methods bring to mind.
Those make sense. I note they’re not just simple lines in a space of ideas, but use a wider gamut of the senses than I was aiming for. Probably, the sort of shapes I was going for are in an unhappy middle ground. Too impoverished compared to the senses, too rich compared to the austerity of diagrams in category theory. So this post should have been about the images different proof methods bring to mind.