3 ms·

I have high regards for Julia, but I am a little sad to see so little meat behind this promising title. As we find out at the very end: > I don’t know whether

I have high regards for Julia, but I am a little sad to see so little meat behind this promising title. As we find out at the very end: > I don’t know whether this particular thing really has anything to do with programming, I just remembered I thought it was cool. Also, I don't really get the main point: > tensor [Monoidal] categories are about proving (or defining) things with pictures You could say that about Category theory as a whole already. E.g. "A product is a space which makes this diagram 'universally' commutative.". No?

skywhopper 8y ago
Julia often writes pieces that are just partial captures of a few steps in figuring something interesting out, and which don't come to a conclusion per se. So I don't really understand your critique. I'm not seeing this as any different than her typical articles, except that in this case I know next to nothing about the topic and so from the start I was lost. Her first sentence and her second paragraph address your complaints, anyway. We didn't "find out" that this was just her talking about something cool at the end. Not only did she intro the piece with saying as much, but that's the premise of her entire blog!