Representable (T, V)-categories
arXiv:1410.6695
Abstract
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.