A typo:

I'd asked for some nice examples of an object G in a rig category equipped with an isomorphism from G to G^2 + 1. ^^^^^^^^^^^^

It should have been "from G^2 to G + 1".