'Category theory feels subtractive, as opposed to additive. These days, there's more papers than ever and it seems like our main issue isn't producing new research, but understanding how new results interact with the immense body of already existing ones.
In my work, I feel like my primary goal isn't to add more complexity, but to reduce it by saying "hey I took half of the stuff out of your paper and it still works". Or "hey folks, see these three completely distinct papers? Actually, there's just one idea behind them all".'
no subject
'Category theory feels subtractive, as opposed to additive. These days, there's more papers than ever and it seems like our main issue isn't producing new research, but understanding how new results interact with the immense body of already existing ones.
In my work, I feel like my primary goal isn't to add more complexity, but to reduce it by saying "hey I took half of the stuff out of your paper and it still works". Or "hey folks, see these three completely distinct papers? Actually, there's just one idea behind them all".'