3 ms·
One benefit of adopting the currying view is that you also introduce the Tensor-Hom adjunction (since currying is itself just the corresponding non-linear adjun
by smohare 7y ago
One benefit of adopting the currying view is that you also introduce the Tensor-Hom adjunction (since currying is itself just the corresponding non-linear adjunction on the category Set).
That being said, understanding the universal property of tensor products is also fairly important.