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 ...

We review encoding and hardware-independent formulations of optimization problems for quantum computing. Using this generalized approach, an extensive library of optimization problems from the ...

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 ...