Archive for June, 2019

Idempotent endmorphisms

June 19, 2019

How many of the endmorphisms of a finite set are idempotent? (Lawvere & Schanuel)

If they’re idempotent, they’re projections. The projections can be onto a nonempty subset, which for sizes [1 .. n], number  [choose n k |k choose n 2,…, choose n n = n, (n-1)n, …, 1