加载中…
Working in the framework of -categories, for a symmetric monoidal closed category and a (not necessarily cartesian) monad , we present a common account to the study of ordered compact Hausdorff spaces and stably compact spaces on one side and monoidal categories and representable multicategories on the other one. In this setting we introduce the notion of dual for -categories.

生成讲解博客的中文版本

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