1 paper · 1 filter
Morgan Rogers
A multiplicatively idempotent rig (which we abbreviate to mirig) is a rig satisfying the equation r2=r. We show that a free mirig on finitely many generators is finite and com…