加载中…
Tensor products are ubiquitous in algebra, topology, logic and category theory. The present paper explores the monoidal structure of the category of separated cocomplete enriched categories over a commutative quantale , the many-valued analogue of complete sup-lattices. We recover the known result that is -autonomous and we show that the nuclear/dualizable objects in are precisely the completely distributive cocomplete -categories.

生成讲解博客的中文版本

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