Symmetric monoidal categories are a fundamental object in many areas of mathematics, and among those, *rigid* categories - that is, those where every object admits a dual - are particularly well behaved. In this talk, after discussing some background, I will give a description of free rigid categories and describe some applications to K-theory, and specifically to chromatic redshift for rigid categories.