In this post and the next, I want to try out a new idea and see where it leads. It goes back to where magnitude began, which was the desire to unify elementary counting formulas like the ...

Example Let A be the category (0 → 1) consisting of a single nontrivial map. Then an object of SetobA is a pair (P0, P1) of sets, and an object of SetA is a function X0 f → X1 between a pair of ...

Jan 22, 2025 Warming up to a dual concept to magnitude, with an aside on a new connection between magnitude and entropy.