Mathematicians figured out how to do math with groups that have a 'negative' amount of stuff in them.
March 23, 2026
Original Paper
Signs in objective linear algebra, exemplified with exterior powers and determinants
arXiv · 2603.19437
The Takeaway
While we usually think of a set as having zero or more items, this paper introduces 'negative cardinality' to handle direction and orientation. It treats 'negative space' as a real, countable mathematical object, allowing for a new kind of 'objective' algebra that can calculate using negative quantities of things.
From the abstract
We develop objective linear algebra in a new setting with a cardinality functor that can take negative values. The signs arise as little homotopies, as ratios between orientations. To illustrate the workings of the theory we give an objective treatment of exterior powers and determinants.