?? (toric ...) theory with object pair "inverse only up to given idempotent object" (in some sense ...) explicitly put in ... ??? .... ???relationship to "explosion wrt sequential direct limits" ??? .... ... ???? ....

??baez suggests proving triviality (= principality ? ...) of invertible objects in certain context by ... ??? "set of atoms" taking tensor product to cartesian product ???? .... terminality of object invertible wrt cartesian product ... ???....