### There Are Problems With the Tupperware Bijection

**Subtitle:**The mathematics of leftovers.

There are two types of objects: sets of containers and sets of lids.

The morphisms are functions from a set of containers to a set of lids such that each container is mapped to a lid that fits it.