|
|
|
|
|
|
by jonathanstrange
1002 days ago
|
|
|
I'm not a mathematician so anyone please correct me if I'm wrong, but isn't the point of category theory to provide abstractions so your proofs are very general and cover a lot at once? Of course, it needs to be very abstract to achieve that. |
|
|