nat in Category theory at #kenron 07