加载中…
We describe free rigid commutative algebras in -presentably symmetric monoidal -categories as oplax colimits over the -dimensional framed cobordism category. The special case of the -category itself provides a description of the free symmetric monoidal -category with duals on a given -category, while the case of provides a description of a similar object in the -enriched context, for a presentably symmetric monoidal -category. As a byproduct, we obtain new proofs of some results about rigidification of locally rigid categories, as well as a proof that any rigid category over embeds into a compactly-rigidly generated one.

生成讲解博客的中文版本

生成AI智能校验的中文版本