50% of category theory research is micromanaging diagram layout
Conversation
What's the best software for this? Can you see how it might be drastically improved?
Maybe the next 'transformative tool for thought'...
cc:
2
1
Emphatically not my domain of expertise, but you may find Penrose interesting.