Earlier this month the Mathematics Institute at Uppsala University hosted a conference called Categorification in Algebra and Topology, clearly a theme close to our collective heart. As yet there are ...
This looks rather like the characterization of determinant: det det is unique satisfying det (I) = 1 det(I) = 1, antisymmetry, and multilinearity. One difference is that we have symmetry rather than ...